https://9dok.org/document/z3dojl18-nash-implementable-domains-for-the-borda-count.html