In this section

Historical Rules · 13 November 2015

Rule 709.5

Official source text from the 13 November 2015 Rules release

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

Find this number in the current Rules