Mike Wazowski, Destroyer

+2: Target player discards a card from their hand and loses X life, where X is the total converted mana cost of the discarded card.
-4: Destroy target creature. Its controller loses life equal to the number of loyalty counters on Mike Wazowski, Destroyer.
-9: Create X 5/5 black and red Demon creature tokens with intimidate, where X is the number of creatures target opponent controls.