Puzzles solved by regf