Happiness = quality of life - envy