Modules

Calculate the transitive closure.