There's an Oracle ruling for this. It's visible on the Gatherer or
Scryfall or other places:
If the named card is found, everything from the top of the library down to the named card is put into the graveyard and the library isn’t shuffled. If the named card isn’t in the library, no cards are put into the graveyard and the library is shuffled.
(2005-10-01)
Magic the Gathering, FNM is TM and copyright Wizards of the Coast, Inc, a subsidiary of Hasbro, Inc. All rights reserved. This site is unaffiliated. Articles and comments are user-submitted and do not represent official endorsements of this site.
nobu_the_bard says... Accepted answer #1
There's an Oracle ruling for this. It's visible on the Gatherer or Scryfall or other places:
If the named card is found, everything from the top of the library down to the named card is put into the graveyard and the library isn’t shuffled. If the named card isn’t in the library, no cards are put into the graveyard and the library is shuffled. (2005-10-01)
April 1, 2019 6:16 p.m.