Axioms of quantum mechanics.