Boole's house (9)