Kochen-Specker theorem Synonyms