After an dealing with an unjolly man who looked like Santa, I came up with an equation for how jolly a Santa look alike should be.