https://plus.maths.org/content/john-conway-discovering-free-will-part-i
“We were having great difficulty explaining how this particular experiment worked,” says Conway. “We stood back from the blackboard and asked ourselves, ‘What have we proved?’” After a long pause… Conway realised they had proved something entirely unexpected. “I said, ‘We’ve proved that if we have free will, then so do the particles.’ ” With this discovery, and this particular choice of words, Conway and Kochen created one of the most controversial theorems of their careers: The Freewill Theorem.