https://123dok.net/document/zlgm3ogy-forcing-optimality-and-brandt-s-principle.html