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”.