 Beyond that, there's other kind of day-to-day expenses. I know a big one that you have pointed out before, Abe, is eating out. So what or how much can federal retirees be spending in that? Well, whether you're an active federal employee