Historical Rules · 3 February 2023
Rule 728.1
Official source text from the 3 February 2023 Rules release
When playing a game, players typically make use of mutually understood shortcuts rather than explicitly identifying each game choice (either taking an action or passing priority) a player makes.