  (1) From KS2 we can derive a constraint on value assignments to projection operators, namely that for every set of projection operators P1, P2, P3, P4, corresponding to the four distinct eigenvalues q1, q2, q3, q4 of an observable Q on H4 the following holds: