Boole's_expansion_theorem loading ...