Phyrexian Tutor

You may search your library for a card.
If mana was spent to cast this spell, put
it into your hand. If life was paid to cast
this spell, discard a card. If no mana was
payed to cast this spell, put it on top of your
library.