<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
span.EmailStyle21
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Dear steering committee,<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">See below – it seems that (1) is the winner.  I have recorded the results on
<a href="https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing">
our document here</a>.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">I’ll post on the GitHub.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Thanks for participating in this.  I think this ranked-preference voting works well when it comes down to a balance of taste on syntax, so that complete unanimity is unreasonable expectation.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><br>
Simon<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Joachim Breitner <mail@joachim-breitner.de>
<br>
<b>Sent:</b> 26 July 2021 21:19<br>
<b>To:</b> Simon Peyton Jones <simonpj@microsoft.com><br>
<b>Subject:</b> Re: Running the voting algorithm<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-family:"Arial",sans-serif">I'll do it by hand:</span>
<br>
<br>
<br>
<span style="font-family:"Arial",sans-serif">Votes:</span> <br>
<span style="font-family:"Arial",sans-serif">1 > X > 2 = 4</span> <br>
<span style="font-family:"Arial",sans-serif">2 > 4 > X > 1</span> <br>
<span style="font-family:"Arial",sans-serif">1 > 4 > 2 > X</span> <br>
<span style="font-family:"Arial",sans-serif">1 > X > 2 = 4</span> <br>
<span style="font-family:"Arial",sans-serif">2 > 1 > X > 4</span> <br>
<span style="font-family:"Arial",sans-serif">X > 1 > 2 = 4</span> <br>
<span style="font-family:"Arial",sans-serif">1 > X > 2 = 4</span> <br>
<span style="font-family:"Arial",sans-serif">1 > 2 > X > 4</span> <br>
<span style="font-family:"Arial",sans-serif">1 > X > 2 = 4</span> <br>
<span style="font-family:"Arial",sans-serif">2 > X > 1 > 4</span> <br>
<br>
<span style="font-family:"Arial",sans-serif">Let's see if 1 is the winner:</span>
<br>
<span style="font-family:"Arial",sans-serif">1 beats 2 by 7 vs. 3 votes</span> <br>
<span style="font-family:"Arial",sans-serif">1 beats 4 by 9 vs. 1 votes</span> <br>
<span style="font-family:"Arial",sans-serif">1 beats X by 7 vs. 3 votes</span> <br>
<br>
<span style="font-family:"Arial",sans-serif">The winner is 1.</span> <br>
<br>
<span style="font-family:"Arial",sans-serif">(This tally was created on the phone in a tent on a mountain above a Norwegian fjord.)</span>
<o:p></o:p></p>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
<p>26.07.2021 13:31:36 Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>>:<o:p></o:p></p>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="mso-fareast-language:EN-US">Joachim<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="mso-fareast-language:EN-US">We have votes for \case, here <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs.google.com%2Fdocument%2Fd%2F1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs%2Fedit%3Fusp%3Dsharing&data=04%7C01%7Csimonpj%40microsoft.com%7C98104c338d60402e2ec308d950729efa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637629275885272105%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=qf0QLREIPhi2c4q3p9TpKCjiY7zCOp0cU3CGNV3XiYM%3D&reserved=0">
https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing</a><o:p></o:p></span></p>
<p> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="mso-fareast-language:EN-US">Could you possibly run the voting algorithm – or tell me how to?<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="mso-fareast-language:EN-US">Thanks<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<span style="mso-fareast-language:EN-US">Simon<o:p></o:p></span></p>
</blockquote>
</div>
</div>
</body>
</html>