Title: Happiness Quantified : A Satisfaction Calculus Approach