 Pretty good. I just had one comment. My son just sent me a clip of a commercial from 2010 showing a burrito over at the old Taco Bell for 89 cents. Today, that same burrito is $3.57. You're talking about that 9% we're paying? Well, there's some of it right there. It's everywhere. And like you said, we can't write it off. We can't deduct it in any way. And we're not getting any benefit on the other side of the taxes from it. We're just paying over and over again.