finished last lemma experiment