You said "In my research, I've determined that the Preference systems with the most mathematically positive properties are IRV (and related STV), Condercet (and the related and much easier to count Range Voting)." IRV certainly is not good in terms of mathematical properties. http://rangevoting.org/IrvPathologySurvey.html