Puzzles solved by LEM