Definition of EMINENT DOMAIN