I am a little bit versed in the formalism of Hilbert space, the state vector and the matricies and their eigenvector basis of observables in QM. I understand that a pure state in one observable basis may be (is) a superposition in another basis (spin xUP) is superposition of spinyUP, spin yDOWN...