Boole's_rule loading ...