New Any/All lemmas.