Puzzles solved by DFJJ