Puzzles solved by JVDB