Dark Prophesy

Whenever a non token creature diese, you may
put a quest counter on Dark Prophesy.
Remove five quest counters from Dark Prophesy: Search your library a card, put it into your hand,
then shuffle your library.