State/Axiom of Choice 1