If the number of lead and galvanized-previously-connected-to-lead (GPCL) service lines fully replaced statewide by Michigan community water supplies, as compiled and published by EGLE from the annual service line replacement reports required by Michigan's Lead and Copper Rule is above 25,000 in 2026, then the market resolves to Yes.