If the combined unfunded actuarial liability of Illinois’ five State-funded retirement systems for Fiscal Year 2026 is above $140 billion, as reported by the Illinois Commission on Government Forecasting and Accountability, then the market resolves to Yes.