When Terastodon enters the battlefield, you may destroy up to three target noncreature permanents. For each permanent put into a graveyard this way, its controller creates a 3/3 green Elephant creature token.

( can be paid with either or 2 life.)

Trample

: Target creature blocks Trumpeting Armodon this turn if able.

Convoke (Your creatures can help cast this spell. Each creature you tap while casting this spell pays for or one mana of that creature's color.)

When Venerated Loxodon enters the battlefield, put a +1/+1 counter on each creature that convoked it.

Exile target creature you don't control. For each creature exiled this way, its controller searches their library for a basic land card. Those players put those cards onto the battlefield tapped, then shuffle.

Overload (You may cast this spell for its overload cost. If you do, change "target" in its text to "each.")