State/Axiom of choice