Puzzles solved by GUIDO