Tournament rule 701.5.d.4
If a player learned the identity of a card in a deck, but did not draw or channel it, it should be shuffled into the random part of the deck.
Loading Arbiter…
If a player learned the identity of a card in a deck, but did not draw or channel it, it should be shuffled into the random part of the deck.