is there a reason for filterNot + forall and not forall xxx && yyy?