Puzzles commented by Isabelle