Problem:
 join(x,x) -> x
 join(x,y) -> join(y,x)
 join(join(x,y),z) -> join(x,join(y,z))

Proof:
 Open