Boolean_algebras_canonically_defined loading ...