https://9dok.net/document/q5m46vjr-mechanism-design-and-social-choice-part-problem-set.html