https://9dok.org/document/y9630njr-enforcement-value-correlated-equilibrium-facility-simple-linear-congestion.html