Puzzles commented by Tacas