State/Axiom of Extensionality 1