Monadyczna_algebra_Boole’a loading ...