Puzzles solved by ATHENA