If the paraphrase P passes the current test, in the next iteration it will be tested by taking one more context word into account, namely W 2 3 .
if the paraphrase P fails the current (n, C) check the checking procedure will terminate and report that the paraphrase fails.