Boole's house (3)