If the NYC OMB-reported FY2027 efficiency savings is above $400 million in the FY2028 Executive Budget, then the market resolves to Yes.