In this rule

Historical Rules · 17 November 2023

Rule 800.4k

Official source text from the 17 November 2023 Rules release

Permalink

If a player who has left the game would begin a turn, that turn doesn’t begin.

Find this number in the current Rules