Boole's house (5)