Puzzles solved by erf