problem
Voting paradox
Some relationships are transitive, such as `if A>B and B>C
then it follows that A>C', but some are not. In a voting system,
if A beats B and B beats C should we expect A to beat C?