Transitive_closure loading ...