. . . "of the clause, n is the number of the clause in the set and m is a number" .