zh:derived_numerical_existence