Gleason, Kochen-Specker, and a competition that never was
  I review the two theorems referred to in the title, and then suggest that it would be interesting to know how much of Hilbert space one can use without forcing the proof of these theorems. It would also be interesting to know what parts of Hilbert space that are essential for the proofs. I go on to discuss cubes, graphs, and pentagrams. 
Ingemar Bengtsson
quant-ph