did renaming lemmas wooooo