some work done on the integration lemma.