Kochen–Specker Theorem - Ontify