adding more explanation about join calculus