Puzzles solved by jvl@