Natural_equivalence loading ...