Puzzles solved by ATL