Hi @quantumodo,
Thank you for your detailed response!
If I understand your point correctly, you’re suggesting that since both “leaving play” and “being defeated” occur simultaneously, we should have the flexibility to choose the order in which to resolve the effects.
However, based on the rules you referenced, it seems that “AfterCardLeavePlay” triggers at step 9, which is “Discarding of a defeated character,” while “AfterUnitBeDefeated” triggers at step 10. This indicates that “AfterCardLeavePlay” would resolve before “AfterUnitBeDefeated.”
I appreciate your insights, and I’m open to further discussion if you have more thoughts on this!