State/Axiom of pairing