Partial_equivalence_relation loading ...