Absolutely. It's not just about dollars and cents. I'm simply noting that there is a cost involved with that, and we can't ignore that fact. Also, as I pointed out in my remarks, can we achieve these objectives with or without this holiday? I think that's a fair question.
On November 20th, 2018. See this statement in context.