Axiom (Dynamics). There is a distinguished quantum observable, the Hamil-tonian H. Time evolution of states |ψ(t)〉 ∈ H is given by the Schr ̈odingerequationi~ ddt |ψ(t)〉 = H|ψ(t)〉 (1.1)