Puzzles solved by ATR