discussion:hi:derived_numerical_existence