State/Axiom of extensionality 1