Man vs. Dinosaur, 80,000 BC

Choose two target players. Each of them searches their library for a creature card
with converted mana cost X or less and shuffles their library, then puts that card
onto the battlefield. Those creatures fight each other. If X is 5 or more, you may choose both cards from either library.

This really happened.