https://9dok.net/document/zwv8g1k0-subcomplete-forcing-and-l-forcing.html