new neighbor subgroup of neighbor, 5 assertions