Loading paper
A Kochen-Specker inequality from a SIC | Tomesphere