Puzzles commented by ISAAC