Proof by Induction

Diverge — Cast this spell only if two or more creatures with different mana values entered the battlefield under your control this turn.
Search your library for a creature card with
mana value greater than that of any creature that
entered the battlefield this turn, put it onto the battlefield, then shuffle. If you put a creature
onto the battlefield this way, copy this spell.
Exile Proof by Induction.