Kochen-Specker theorems demonstrate that no hidden-variable theory can assign definite values to all...