Right, |S_x;+> would still be a pure state. However, let's say now that you measure it using (|+><+| + |-><-|). Then, the state will either become |+> or |->, with equal probabilities. Either way, the state will still be pure *but* because we have no knowledge which one it would be, we refer to...