https://9dok.net/document/yr3m1x9o-axiomatizing-propositional-dependence-logics.html