  The KS theorem remedies this defect, and thus strengthens the case against HV theories insofar as it assumes (3) only for sets of observables {A, B, C} which are all mutually compatible. The theorem requires that only for compatible observables assumption (3) must hold.