sentences:  The class of isomorphism types of Boolean algebras, endowed with the addition defined by
  formula_1 (for any Boolean algebras "X" and "Y", where formula_2 denotes the isomorphism type of "X"), is a conical refinement monoid.For a Boolean algebra "A" and a commutative monoid "M", a map "μ"