If NYC subway ridership reaches a seven-day average of at least 3.72 riders before Jan 1, 2027, then the market resolves to Yes.