When Sarevok's Tome enters the battlefield, you take the initiative
. If you have the initiative, add
: Exile cards from the top of your library until you exile a nonland card. You may cast that card without paying its mana cost. Activate only if you've completed a dungeon.