meta ain't got no lemma