Wake Rules
4/6/7
502.n2. Wake
502.n2a Wake is a keyword that represents two abilities. The first is a static ability that functions in any zone from which you could play the card it's on. The second is a triggered ability that functions when the first ability is applied. "Wake" means "When you play this card, search your library for a card that shares a subtype with it, and reveal the chosen card." and "You may play the card by paying its mana cost. If you don't, put it on top of your library. Then, whether you play it or not, shuffle your library."
502.n2b If a spell with wake is countered before the first wake ability resolves, then the ability will be countered also. If a spell with wake is countered after the first wake ability resolves, the wake ability will not becountered. However, the controller of the wake ability may still choose not to play the searched card.
502.n2c A spell with wake can search for another spell with wake. If so, the second spell's wake ability will resolve before the first spell resolves.
502.n2d If a spell searched for by a wake ability is played, and upon resolution requires it's controller to place it on top of his or her library, the card will get shuffle into the library as the second part of the wake ability resolves.