On the day any member of cabinet resigns, is fired, dies, or otherwise ceases to hold a position in cabinet, the close date will update to midnight of that day. After close, this market will resolve equally YES to all cabinet members who have left on that day.

This design is to prevent a Johnson Cascade from causing a market mis-resolution where multiple cabinet members resign in rapid succession and identifying who went first becomes difficult.

Being promoted to another cabinet position does not count as leaving.

If all cabinet members are replaced simultaneously e.g. at a general election then it will resolve equally YES between all cabinet members.

If this market reaches the original close date with nobody leaving cabinet then it will be extended by a year.