Chase the Star

As you cast Chase the Star, name a card.
Reveal cards from the top of your library until you reveal the named card. You may then choose to reveal your library. If you don't or another card with the chosen name is revealed this way, put it into your hand and shuffle your library afterwards. If no other cards with the chosen name are revealed this way, cast it without