Historical Rules · 14 April 2023
Rule 201.4g
Official source text from the 14 April 2023 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.