thm-restate), and tighten notation..tex that implements the change.| Report claim | Stakes | First move | Letter posture |
|---|---|---|---|
| "The proof of Lemma k has a gap" | paper-sinking if real | re-derive the step from scratch; do not pattern-match the old argument | corrected argument in full, or a narrowed claim |
| "Here is a counterexample to Proposition j" | decisive either way | verify it against every numbered assumption | if valid: thank, repair or narrow; if it violates an assumption: show which line fails |
| "Is Assumption A2 necessary?" | scope of the contribution | attempt the weakening; else construct the dropping-A2 example | a new Example or a generalized theorem |
| "This follows from [known theorem]" | originality | write out the claimed reduction or its failure point | the precise reason the known theorem does not apply |
| "Proofs are unreadable" | acceptance friction | restate theorems, add a lemma roadmap, offload to appendix | a table mapping moved material to new locations |
Editor summary (≤1 page, theorem-level):
Theorem 1 unchanged; Proposition 2 narrowed (now requires A4 — see R1.3);
new Example 3 shows A2 cannot be dropped (R2.1); Appendix C rewritten for readability.
Per referee, per point:
[R1.3] "<verbatim comment>"
→ Type: correctness
→ Response: corrected the Lemma 2 step; the missing case is handled by new eq. (12)
→ Location: §4.2 and Appendix B.1; flagged in the attached latexdiff
Attachments: revised .tex, latexdiff PDF, this letter.
【Referee N · Comment k】<verbatim>
→ Type: correctness | generality/necessity | exposition
→ Response: <corrected proof / counterexample / narrowed claim>
→ Change at: §x / Prop y / eq (z) in revised .tex
【Net effect】result strengthened / scope clarified / claim narrowed