Conjure the Stars

Reveal the top 8 cards of your library. You
may cast a spell from among them with
converted mana cost less than or equal to
the number of noncreature spells among
them. Shuffle the rest into your library.
"Are we more than mere ants for you?"-asked the mage,.
Then from the sky a truth inconceivable burned
into his mind