Ragavan, Nimble Pilferer

Whenever Ragavan, Nimble Pilferer deals combat damage to a player, create a Treasure token and exile the top card of that player's library. Until end of turn, you may cast that card.
Dash {1}{R} (You may cast this spell for its dash cost. If you do, it gains haste, and it's returned from the battlefield to its owner's hand at the beginning of the next end step.)

Thoughtseize

Target player reveals their hand. You choose a nonland card from it. That player discards that card. You lose 2 life.