Dynamic_and_formal_equivalence loading ...