This market will resolve to “Yes” if Alexandre de Moraes ceases to be a Justice of Brazil’s Supreme Federal Court for any period of time between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to “No”.