A simple typesetting puzzle from Stephen Barr's Intriguing Puzzles in Math and Logic.