When Sarevok's Tome enters the battlefield, you take the initiative. : Add . If you have the initiative, add instead. , : 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.