Puzzles solved by daf