Dear steering committee, See below - it seems that (1) is the winner. I have recorded the results on our document here<https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing>. I'll post on the GitHub. 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. Simon From: Joachim Breitner <mail@joachim-breitner.de> Sent: 26 July 2021 21:19 To: Simon Peyton Jones <simonpj@microsoft.com> Subject: Re: Running the voting algorithm I'll do it by hand: Votes: 1 > X > 2 = 4 2 > 4 > X > 1 1 > 4 > 2 > X 1 > X > 2 = 4 2 > 1 > X > 4 X > 1 > 2 = 4 1 > X > 2 = 4 1 > 2 > X > 4 1 > X > 2 = 4 2 > X > 1 > 4 Let's see if 1 is the winner: 1 beats 2 by 7 vs. 3 votes 1 beats 4 by 9 vs. 1 votes 1 beats X by 7 vs. 3 votes The winner is 1. (This tally was created on the phone in a tent on a mountain above a Norwegian fjord.) 26.07.2021 13:31:36 Simon Peyton Jones <simonpj@microsoft.com<mailto:simonpj@microsoft.com>>: Joachim We have votes for \case, here https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing<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> Could you possibly run the voting algorithm - or tell me how to? Thanks Simon