In this section

Historical Rules · 13 July 2018

Rule 103.1

Official source text from the 13 July 2018 Rules release

Permalink

At the start of a game, each player shuffles their deck so that the cards are in a random order. Each player may then shuffle or cut their opponents’ decks. The players’ decks become their libraries.

Find this number in the current Rules