Puzzles solved by DEF