• join(ABC, D)

  • join(ABD, C)

  • join(BCD, A)