Some new lemmas.