Proof checking part of Join protocol