The Quantum Formalism and the GRW Formalism