working on some more relenv lemmas