By that, do you mean that it sounds wrong, or that it sounds confused? If the former, I may need to reconsider; if the latter, I’m unsurprised because it’s much too short and doesn’t include any of the actual formalization. (That was not an excerpt from the draft I’m writing, but an attempt to summarize it briefly. I don’t think I did it justice.)
Ok, in that case I’m inclined to think that impression is just an artifact of how I summarized it, since my summary didn’t address the questions, but the longer paper I’m working on does, albeit only after building up proof and formalization techniques, which are the main focus.
So far, doesn’t sound good.
By that, do you mean that it sounds wrong, or that it sounds confused? If the former, I may need to reconsider; if the latter, I’m unsurprised because it’s much too short and doesn’t include any of the actual formalization. (That was not an excerpt from the draft I’m writing, but an attempt to summarize it briefly. I don’t think I did it justice.)
Doesn’t seem to address relevant questions or give interesting answers.
Ok, in that case I’m inclined to think that impression is just an artifact of how I summarized it, since my summary didn’t address the questions, but the longer paper I’m working on does, albeit only after building up proof and formalization techniques, which are the main focus.