If a New York State court grants the petitioners preliminary or permanent injunctive or annulment relief (other than a temporary restraining order) against the City's supplemental tax roll, its surcharge notices, or its imposition or collection of the pied-à-terre surcharge in O'Brien v. City of New York, or any appeal thereof before Jan 1, 2027, then the market resolves to Yes.