∇ -model and distributivity in Boolean algebras Lev Bukovský (1968) Commentationes Mathematicae Universitatis Carolinae Similarity: