Puzzles commented by Heitor