discussion:sa:numerical_existence