In this rule

Historical Rules · 13 July 2013

Rule 716.1a

Official source text from the 13 July 2013 Rules release

The rules for taking shortcuts are largely unformalized. As long as each player in the game understands the intent of each other player, any shortcut system they use is acceptable.

Find this number in the current Rules