https://9dok.net/document/zgw2r0n2-maximal-domains-strategy-proof-maskin-monotonic-choice-rules.html