walkout basement subgroup of basement, 3 assertions