Join Protocol (successfull compilation)