Historical Rules · 3 February 2023
Rule 201.3
Official source text from the 3 February 2023 Rules release
Some cards with different English names are treated as though they had the same English name. Pairs of cards with this property have names that are interchangeable.