Puzzles solved by arf