Quick thought: it's mathematically impossible to create a voting system that translates individual transitive preference orderings into collective transitive preference orderings. There's always some possibility of a loop. This is similar to deadlock in resource allocation. Relation?