x distal_to y iff x is further ...... it joins the body (proximal).