Happiness is a virtue.