Wavefunction

See formulation of QM#Another example.