Your quality of life minus envy equals how happy you are.