Lucas sure that he isn't a machine
The argument's mistakenly cast as a nondialectical proof sequence, giving an incorrect conclusion that the man is machine but can't tell which machine he is—the only way I can be sure of not being any particular machine is by not being one at all.
John Lucas (1988).