western boundary subgroup of boundary, 1 assertions