John Fetterman out by...?

Resolution rules

This market will resolve to “Yes” if John Fetterman ceases to be U.S. Senator from Pennsylvania for any period of time between market creation and the specified date (ET). Otherwise, this market will resolve to “No”. An announcement of John Fetterman'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 John Fetterman and the U.S. government; however, a consensus of credible reporting may also be used.