In this section

Historical Rules · 5 June 2017

Rule 201.3

Official source text from the 5 June 2017 Rules release

If an effect instructs a player to choose a card name, the player must choose the name of a card that is legal in the format of the game the player is playing. (See rule 100.6.) A player may not choose the name of a token unless it’s also the name of a card.

Find this number in the current Rules