Lemmas are now immuteable