https://9dok.net/document/yev6rp51-planning-optimization-equivalent-operators-normal-effects-gabriele-thomas.html