(: Add or to your mana pool.) When Coral Flagstones enters the battlefield, sacrifice it unless you pay . , : Target player reveals the top card of his or her library.