The Kochen-Specker theorem entails that no assignment of definite values to observables is context-i...