 Critics of Lucas defend the parity between people and computers. They think we have our own Gödel sentences (Lewis 1999, 166–173). In this egalitarian spirit, G. C. Nerlich (1961) models the student’s beliefs in the surprise test example as a logical system. The teacher’s announcement is then a Gödel sentence about the student: There will be a test next week but you will not be able to prove which day it will occur on the basis of this announcement and memory of what has happened on previous exam days. When the number of exam days equals zero the announcement is equivalent to sentence K.