Historical Rules · 8 November 2024
Rule 800.4i
Official source text from the 8 November 2024 Rules release
If an effect requires information about a specific player, the effect uses the current information about that player if they are still in the game; otherwise, the effect uses the last known information about that player before they left the game. If an effect requires information from the game about actions players have taken, the effect can find actions that were taken by a player who has left the game.