However, If the paraphrase P fails the current (n, C) check the checking procedure will terminate and report that the paraphrase fails.
if the paraphrase passes all the (n, C) checks where C = 1 to maxC, the procedure determines the paraphrase as acceptable.