Mipha, Vah Ruto's Champion

When Mipha, Vah Ruto's Champion enters the battlefield, look at the top X cards of your library,
where X is your devotion to blue. Put up to one
of them on top of your library and the rest on the
bottom of your library in a random order. If X is
greater than or equal to the number of cards in
your library, you win the game. (Each {u} in the
mana costs of permanents you control counts toward
your devotion to blue.)
Once this whole thing is over maybe things can go
back to how the