https://123dok.net/document/q5m34lew-a-new-model-for-scalable-θ-subsumption.html