Logic about nearby friends