hi:numerical_existence