In this section

Historical Rules · 24 September 2021

Rule 712.15

Official source text from the 24 September 2021 Rules release

If an effect instructs a player to choose a card name, the player may name either face of a double-faced card but not both.

Find this number in the current Rules