https://123dok.net/document/1y9kjvdz-on-constraint-linear-decompositions-using-mathematical-variables.html