After having offered his variant of the argument against HV theories from Gleason’s theorem, Bell proceeds to criticise it. His strategy parallels the one against von Neumann. Bell points out that his own Gleason-type argument against arbitrary closeness of two opposite-valued points presupposes non-trivial relations between values of non-commuting observables, which are only justified given an assumption of noncontextuality (NC). He proposes as an analysis of what went wrong that his own argume