Copy
x proximally_connected_to y iff the proximal part of x is connected to y. i.e. x connected_to y and x distal_to y.
proximally_connected_to