Gadget structures in proofs of the Kochen-Specker theorem | Publicación