It’s time for a short break here, and a holiday shutdown on Christmas. I hope to return to a normal schedule on Tuesday.