I just had a minor realization. As I said to Abd, his Bucklin-ER (as I understand it) has slightly less resistance to the chicken dilemma than GMJ, because the Bucklin-ER tiebreaker effectively ends up focusing slightly below the median in the grade distribution, while GMJ focuses on a region balanced around the median. Well, why not take that in the other direction? Consider the following Bucklin system, tentativlely named: <div>

<span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">uı|ʞɔnq-</span><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">ᴚƎ</span>:<div>

<br></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.727272033691406px;background-color:rgb(255,255,255)">Count the votes at the highest grade for each candidate. If any one candidate has a majority, they win. If not, add in lower grades, one at a time, until some candidate or candidates get a majority. If two candidates would reach a majority at the same grade level, then whichever has the most votes above that level wins. If there are no votes above that level, the highest votes at or above that level wins.</span></div>

<div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.727272033691406px;background-color:rgb(255,255,255)"><br></span></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.727272033691406px;background-color:rgb(255,255,255)">Now consider a chicken dilemma where Y and Z must cooperate to defeat X. If a Y voter rates Z at the second-to-bottom grade, then further strategy simply will not help unless Z's median falls to 0 — which would mean risking an X win if Z's voters are similarly strategic. This is a stronger, and more-simply-argued, bulwark against the chicken dilemma's slippery slope than GMJ's.</span></div>

<div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.727272033691406px;background-color:rgb(255,255,255)"><br></span></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.727272033691406px;background-color:rgb(255,255,255)">GMJ still has certain advantages. Because it's cleaner and more symmetrical in an abstract sense, its criterion compliances are slightly better; and </span><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">uı|ʞɔnq-</span><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">ᴚƎ does not allow reporting via 1 number per candidate. But these are minor, technical points. While I still have a father's affection for GMJ, I think that </span><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">uı|ʞɔnq-</span><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">ᴚƎ is now my favorite system.</span></div>

</div><div><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)"><br></span></div>

<div><span style="color:rgb(51,51,51);font-family:'Open Sans','Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13.63636302947998px;line-height:20px;background-color:rgb(255,255,255)">Obviously the name needs fixing; I've left it with a deliberately unusable one for now. I'd be happy to call it IRAV, or APV, or whatever other people support in this thread.</span></div>