Two-element_Boolean_algebra loading ...