aux lemma (todo): entending env preserves lookup