State/Axiom of Replacement 1