https://9lib.net/document/q052jmmx-implementation-in-dominant-strategy-equilibrium.html