Ken Paxton out out as Texas Attorney General by July 31?

This market will resolve to “Yes” if Ken Paxton ceases to be the Texas Attorney General for any period of time between July 10 and July 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to “No”. An announcement of Paxton's resignation/removal before this market's end date will immediately resolve this market to "Yes", regardless of when the announced resignation/removal goes into effect. The resolution source for this market will be official information from the Ken Paxton, however a consensus of credible reporting may also be used.