If Mike Lee formally holds the position of chair of the United States Senate Committee on the Judiciary before Jan 1, 2028, and is the first such subject to do so after Issuance, then the market resolves to Yes.