Kraul, Tormentor of Minds

When Kraul, Tormentor of Minds enters
the battlefield, you may search your library
for a card named Mycosynth Wellspring
and put it on to the battlefield.
{t}Target player discards a card
When Mycosynth Wellspring Leaves the battlefield, sacrifice Kraul, Tormentor of
Minds