env strengthening lemma