Transitive_relation loading ...