121.6a
An effect that replaces a card draw is applied even if no cards could be drawn because there are no cards in the affected player’s library.
121.6b
If an effect replaces a draw within a sequence of card draws, the replacement effect is completed before resuming the sequence.
121.6c
Some effects perform additional actions on a card after it’s drawn. If the draw is replaced, the additional action is not performed on any cards that are drawn as a result of that replacement effect or any subsequent replacement effects.