partial ordering on envs