"functions. The difference between the two response types is that the Formula Response grader may specify unknown variables. The student's response is compared against the instructor's response, with the unknown variable(s) sampled at random values, as specified by the problem author."

And then, move this paragraph to be the second paragraph in this section.