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