Dan, Destroyer of Dreams

+2: Look at the top three cards of your opponents library. Place 1 in the graveyard and put the others back on top of the library in any order.
-3: Search opponents library for for all copies of target card in play and discard them. Then reshuffle that library.
-12: Name any card type from the following, Instant, Enchantment, or Sorcery and remove all cards of that type from the target opponents library.