World-Crusher

Haste, Trample
When World-Crusher enters the battlefield, choose one:
- Destroy all non Demon creatures.
- Destroy all nonland permanents.
When World-Crusher dies, every player mills 10 cards.