wedge anchor subgroup of anchor, 4 assertions