Historical Rules · 18 November 2022
Rule 201.4g
Official source text from the 18 November 2022 Rules release
Some cards have interchangeable names (see rule 201.3). For all game purposes, these cards have the same name. If a player chooses the name of a card which has interchangeable names, the name of each of those cards has been chosen.