These two puzzles are adapted slightly from Chapter I of Raymond Smullyan's (1992) Gödel's Incompleteness Proofs (Oxford, UK: Oxford University Press).
