Doesn’t this add to the confusion? There is already a generic term that encompasses both Leaders and Wrestlers - it’s Realtors. This change makes Realtor and Wrestler synonymous, which makes one of them redundant.

Yes, I’m in favor of redundancy here just for ludonarrative reasons. I got confused when drafting the finishing moves rule because in my head, we’re all taking turns wrestling! I can imagine that arising as an issue again, especially for someone who’s unidling. The other option of replacing “Realtors” as a term wholesale seemed like it would be harder to get passed.

Maybe just take “Wrestlers” out of this construction and add a sentence making “Realtors” and “Wrestlers” synonyms.

Revised!

Yep, I think of us Leaders as Wrestlers, too. No reason for us to stand outside the ring!