sa:numerical_existence