Boole's house (4)