close proximity subgroup of proximity, 2 assertions