Merry Christmas, John Roberts. Hope you and your colleagues didn’t have plans.