Puzzles solved by ARL