If the actual full-time headcount reported by the New York City Mayor’s Office of Management and Budget for the New York City Police Department in the “Uniform” employee category is above 34,250 as of December 31, 2026, then the market resolves to Yes.