https://123dok.net/document/y6eldxl4-choice-functions-orderings-infinite-binary-tree.html