Let’s see. There’s summer, fall, winter, spring and, uh, jolly. For the uninformed, the jolly season started around Thanksgiving and goes until Christmas. Or what used to be called Christmas. Now it’s called the holiday season to make certain that no one is offended.