https://9lib.org/document/zx5x8e7o-for-double-boolean-algebras.html