Now because \([0]\) and \([1]\) belong to the event algebra \(\EC_b\) they can be discussed, and the truth of \(P\) indeed implies that either \([0]\) or \([1]\) is true: if the energy is not greater than \((3/2)\hbar\omega\) then it is either \(1/2\) or \(3/2\) \(\hbar\omega\). But is not this insistence that \(\SC_b\) be used in place of \(\SC_a\) a piece of sophistry irrelevant to the needs of the working scientist? No, not if the scientist’s work involves quantum mechanics. To see why, consider an alternative refinement