In reply to pRoSpEr:
It seems that the assertion will work as the antecedent will be true, however it is not written accurately.
That assertion can never succeed, but can fail.
For a success, as I explained, all terms of the antecedent must be tested, but you have an infinite number of terms You need the first_match!
Ben