unrestricted_domain_of_definition