prove env_permutability