Text this: Boole's logic and probability :