Each join means two applications of transitive closure