https://123dok.net/document/zgw65w62-bar-recursion-choice-classical-setting.html