Value-domain