some other work done on the integration lemma.