Puzzles solved by EFS