Petra Sphinx
Creature — Sphinx
: 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.
Sandra Everingham
Chronicles (CHR)
• #10Rulings
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.
(wotc • 2004-10-04)
Rulings
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.
(wotc • 2004-10-04)