wet basement subgroup of basement, 3 assertions