Gleason, Kochen-Specker, and a competition that never was