Puzzles solved by PROF