Iblis Trigger

Destroy all creatures with toughness 4
or greater.
You may search your library for a card
named Iblis, reveal it, put it into your
hand, then shuffle your library.