Raymond Smullyan's "To Mock a Mockingbird"