Puzzles solved by AERG