Some Lemma testing and corrections