Relational_theory loading ...