correct reference to "universe extensionality"