existence neighborhood