If Thomas Massie leaves or announces that they are leaving the Republican party before Jan 1, 2027, then the market resolves to Yes. If Thomas Massie changes their official party registration from Republican to another party or to independent/unaffiliated status, or announces they are no longer a member of the Republican party, or is expelled from the Republican party by official party action, then the market will resolve to Yes. This market will close and expire early if the event occurs.