meta ain't got no lemma
lemmafix