Rehprog, God of Balance

Reach, Indestructible, Haste
When Rehprog, God of Balance enters the battlefield, each player must search their library
and remove any number of cards with the name,
Mana Vault, Drannith Magistrate, Ancient Tomb, Jeweled Lotus, or Elesh Norn, Grand Cenobite.
This spell can not be countered.