Historical Rules · 24 January 2020
Rule 121.7
Official source text from the 24 January 2020 Rules release
Some replacement effects and prevention effects result in one or more card draws. In such a case, if there are any parts of the original event that haven’t been replaced, those parts occur first, then the card draws happen one at a time.