Proper noun
the free will theorem A theorem stating that, if we have free will in the sense that our choices are not a function of the past, then, subject to certain assumptions, so must some elementary particles.