. . "That is, if fact is a function that computes" . . .