Prophet of the Pact

When Prophet of the Pact enters the battlefield, if you cast it from your hand, you may search your library for a Demon card, reveal it, then shuffle your library and put that card on top of it.
{t}, Sacrifice Prophet of the Pact: The next Demon spell you cast this turn costs {2} less to cast.