In this rule

Historical Rules · 1 June 2020

Rule 800.4g

Official source text from the 1 June 2020 Rules release

Permalink

If a rule requires a player who has left the game to make a choice, the next player in turn order makes that choice.

Find this number in the current Rules