https://9dok.net/document/yngmpmml-on-flatness-properties-of-s-posets.html