Displaying similar documents to “Universality and strong extensionality.”