The Happiness Theorem Background