Kochen–Specker_theorem loading ...