Equivalence_class loading ...