In this section

Historical Rules · 10 August 2018

Rule 709.5

Official source text from the 10 August 2018 Rules release

Permalink

If an effect instructs a player to choose a card name and the player wants to choose a flip card’s alternative name, the player may do so.

Find this number in the current Rules