Dirac–von_Neumann_axioms loading ...