genv is a simplified version of envy.