State/Axiom of Pairing 1