a want domain is formed by conversion speaking upon zero another
zero is digit. assertion_generating_rkf_tool is user_program. zero is not digit. nis_domain is not unix_account_system. potential_infinity is shorthand_for_process. domain is not set. principal_ideal_domain is dedekind_domain. assertion_generating_rkf_tool is not user_program. nis_domain is unix_account_system. principal_ideal_domain is not dedekind_domain.