summer house subgroup of house, 2 assertions