Historical Rules · 8 September 2022
Rule 201.4g
Official source text from the 8 September 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.