Happy is the man who knows he’s happy.