The Quantum Formalism Revisited