Puzzles solved by JDF