Heavenfall

Cocytus (Cocytus cards may only be put into decks through effects from Prince of Cocytus. If
your library were to be replaced, put all Cocytus cards back into the Cocytus Deck.)
Exile target creature or enchantment.
Draw a card.