Puzzles solved by nat