Integrally_closed_domain loading ...