let join x y = snd (join x y)