Removed temp lemma.