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