State/Axiom of Regularity 1