discussion:hi:numerical_existence