Da Terminator

When you cast Da Terminator, create four Terminator token cards and shuffle them into target opponent's library. Their decklist must contain the Terminators for the rest of the match if able. (Terminators are 2/2 colorless robot creature cards that cost {4} with "This card can't be traded for a land.")

I'll Be Back — When Da Terminator dies, its owner shuffles it into their library.