Elab for join.

Elab for join