let
join x y = snd (join x y)