Puzzles solved by DEFA