https://9dok.net/document/zkwv8gdm-planning-optimization-abstractions-additive-abstractions-gabriele-thomas-keller.html