Elementary_equivalence loading ...