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.