Havenwood Key enters the battlefield tapped unless you sacrifice a Blue permanent.

: Add  to your mana pool. Havenwood Key doesn't untap during your next untap step.

, : Target player reveals the top card of his or her library.