State/Axiom of pairing 1