[math-fun] the generous grader problem