is
Determine whether the solution set is complete. The set is complete only when no contexts survive. Ordinarily, solutions are evaluated when the sequence S of style classifiers is exhausted, not when all contexts have been eliminated.