Amalia Benavides Aguirre loop leading to Draw, not game loss
I was playing a game today where my opponent had Amalia Benavides Aguirre in play together with Wildgrowth Walker and Lunarch Veteran in play. On my side of the board I had a Blight Beetle, which ensures that counters can't be placed on Amalia nor on the Wildgrowth Walker.
Thus when my opponent started the Amalia loop, they could not stop exploring. It is my understanding that this should lead them to eventually having to deck themselves since they have to eventually progress the boardstate. However, in the game the match eventually ended in a draw.
I believe that this is an incorrect interaction between the cards and thus a bug in how the rules are implemented on Arena.
I was playing in MtG Arena in Windows 11.
![](https://secure.gravatar.com/avatar/a6c17b95f96bd456af35a9e6fc682687?size=40&default=https%3A%2F%2Fassets.uvcdn.com%2Fpkg%2Fadmin%2Ficons%2Fuser_70-6bcf9e08938533adb9bac95c3e487cb2a6d4a32f890ca6fdc82e3072e0ea0368.png)
-
ilovebraisedmeats#57802 commented
Since the infinite loop involves exploring, your opponent can simply choose not to mill the top card. Because they choose not to, it continues to trigger and the game is a draw.