When this creature dies, each player may search their library for a card and put that card into their hand. Then each player who searched their library this way shuffles.
Target player mills three cards.
Storm (When you cast this spell, copy it for each spell cast before it this turn. You may choose new targets for the copies.)
rather than pay this spell's mana cost.
Target opponent mills thirteen cards.