Reflexive_transitive_closure loading ...