Puzzles solved by LEF