Structure_implies_multiplicity loading ...