small spec cleanup and new lemma trim spec
strip new lemmata and translations