State/Axiom of regularity 1