State/Axiom of extensionality