This market will resolve to “Yes” if Ruben Gallego ceases to be United States Senator from Arizona for any period of time between market creation and the specified date (ET). Otherwise, this market will resolve to “No”. An announcement of …