correct reference to 'universe extensionality'