Smullyan's clever solutions
In my post about Raymond Smullyan’s Og and Bog puzzle, I wrote:
Smullyan has a clever solution in the back of Logical Labyrinths, but I’m going to whittle the puzzle down to a size I can hold in my head, because I like procedures to solve puzzles. Having a procedure keeps me from making mistakes, and developing the procedure helps me understand the underpinnings of all problems.
I thought of something that makes Smullyan smarter than I believed.