Grey Jedi

When Grey Jedi enters the battlefield, you
may search your library for a basic land card,
put that card onto the battlefield tapped,
then shuffle your library.
When Grey Jedi dies, you may draw a card.