The mixture of Amalia and an indestructible Wildgrowth Walker at all times attracts the sport with an infinite loop as soon as a creature explores, it doesn’t matter what card is on prime of the library.
For reference, Amalia has the textual content
Everytime you acquire life, Amalia Benavides Aguirre explores. Then destroy all different creatures if its energy is precisely 20.
and Wildgrowth Walker has the textual content
Every time a creature you management explores, put a +1/+1 counter on this creature and also you acquire 3 life.
The key phrase motion “discover” and the occasion “explores” are outlined in guidelines 701.40a-b:
701.40a. Sure skills instruct a everlasting to discover. To take action, that everlasting’s controller reveals the highest card of their library. If a land card is revealed this fashion, that participant places that card into their hand. In any other case, that participant places a +1/+1 counter on the exploring everlasting and should put the revealed card into their graveyard.
701.40b. A everlasting “explores” after the method described in rule 701.40a is full, even when some or all of these actions had been not possible.
So, if a participant controls Amalia and a Wildgrowth Walker, and a creature explores, then Wildgrowth Walker’s skill triggers, which causes the participant to realize life, so Amalia’s skill triggers, and he or she explores, which triggers Wildgrowth Walker’s skill once more, in a loop. The one selection any participant makes throughout that course of is what to do with the cardboard on prime of the library, if it isn’t a land.
Nonetheless, due to the final a part of rule 701.40b, the exploration occurs it doesn’t matter what card is on prime of the library, and even when there is no such thing as a card on prime of the library in any respect. Which means the loop at all times continues, it doesn’t matter what selection the participant makes whereas exploring. Due to this fact, the loop is necessary, so the sport is a draw.
