Boole's_syllogistic loading ...