Puzzles solved by AIT