https://9dok.org/document/y8g3xmgr-introduction-linearityofsaturationforbergehypergraphs.html