Runs till unifier, no matching contains