numerical_existence