Puzzles solved by gnodel