We discuss two new demonstrations of the Bell-Kochen-Specker theorem:
a state-independent proof using 14 propositions in R(4), based on a su
ggestion made by Clifton, and a state-specific proof involving 5 propo
sitions on the singlet state of two spin-1/2 particles.