Transitive_reduction loading ...