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