If Lisa Murkowski leaves or announces that they are leaving the Republican party before Jan 1, 2027, then the market resolves to Yes. If Lisa Murkowski 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.