discussion:sa:hi:derived_numerical_existence