Puzzles solved by Prof