discussion:zh:derived_numerical_existence