Historical Rules · 1 February 2013
Rule 701.16d
Official source text from the 1 February 2013 Rules release
If an effect would cause a player to shuffle one or more specific objects into a library, and a replacement or prevention effect causes all such objects to be moved to another zone instead, that library isn't shuffled. Example: Black Sun's Zenith says, in part, "Shuffle Black Sun's Zenith into its owner's library." Black Sun's Zenith is in a graveyard, has gained flashback (due to Recoup, perhaps), and is cast from that graveyard. Black Sun's Zenith will be exiled, and its owner's library won't be shuffled.