 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 how much can federal retirees be spending in that? Well, whether you're an active federal employee