Well, their positions are funded (depending on how FY25 funds were allocated to the agency). The order just means they can potentially not come to work until September.