{T}: Target player mills a card. (They put the top card of their library into their graveyard.)
{5}, {T}, Sacrifice Codex Shredder: Return target card from your graveyard to your hand.