Bell–Kochen–Specker theorem