Petra Sphinx

Oracle Text

T: Target player chooses a card name, then reveals the top card of their library. If that card has the chosen name, that player puts it into their hand. If it doesn't, the player puts it into their graveyard.

Card Rulings

10/4/2004 If the targeted player’s library is empty, that player still names a card, but nothing further happens. That player will not lose the game.