https://9pdf.info/document/q5mrrg4r-atomistic-and-orthoatomistic-effect-algebras.html