Elementarily_equivalent loading ...