Copy
x distally_connected_to y iff the distal part of x is connected to y. i.e. x connected_to y and x proximal_to y.
distally_connected_to