Equivalence_closure loading ...