comment out unused stuff, delete wrong lemma