en:discussion:hi:derived_numerical_existence