Puzzles solved by NAT