Done env assumption 4.