In this section

Historical Rules · 14 April 2023

Rule 401.4

Official source text from the 14 April 2023 Rules release

Permalink

If an effect puts two or more cards in a specific position in a library at the same time, the owner of those cards may arrange them in any order. That library’s owner doesn’t reveal the order in which the cards go into the library.

Find this number in the current Rules