Given an adequacy measurement M and a degree r of adequacy, one can always construct a stopping rule Mr such that a test set is adequate if and only if the adequacy degree is greater than or equal to r; that is, Mr(p, s, t) = true <-> M(p, s, t) >= r.

Is Mr. such a rule always easy to write? Discuss issues in creating a stopping rule function, especially in a very large project