Diagonalization and Self-Reference door Raymond Smullyan & Raymond M. Smullyan