Joining Proof