https://9dok.net/document/q2np04x2-dictatorship-on-top-circular-domains.html