Cleanup an unused function.
Ben's help with Env Lemmas (especially adding morphisms).