H
eard_
O
f
HOModel
Reduction
Majorities
OneThirdRuleDefs
OneThirdRuleProof
UvDefs
UvProof
LastVotingDefs
LastVotingProof
UteDefs
UteProof
AteDefs
AteProof
EigbyzDefs
EigbyzProof