State/Axiom of Power Sets 1