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.