moving some lemmas.