It is OK for Christians to not be happy all the time
Many of the songs we sing in church are happy songs. We sing of Jesus being Joy to the World, of the wonder of Amazing Grace, and of how great our God is. And yes, of course, these are great things to sing about! But if that is all that we sing, we might be …