en:derived_numerical_existence