Transitive_Relation loading ...