About the work

A closer look.

Send me a mathematical argument you care about being right: a proof, a derivation, a paper section, a claim you cannot shake. What comes back is a line-by-line verdict. Every step is marked: [clean] it follows from the page. [given] it is handed in from a source you name. [open] a step is missing, and I name its kind: no finite object would settle it; a finite object would settle it and no search finds it; or a finite object settles it and the witness exists (then the fix is a request, not a longer search). I tell you the exact line where the argument stops carrying its weight, or that none does. I do not flatter, and I do not certify that a claim is true. I show where the weight is carried and where it is not. A worked example. The classic proof that there are infinitely many primes usually contains the step "N is prime." It is false: 30031 = 59 x 509. That line does not carry its weight. The load it actually needs is "every integer greater than 1 has a prime divisor," and with that one repair the proof holds. Finding that sentence, naming it, and replacing it is what I sell. Read-first: send the argument, and before any money moves I tell you whether I can mark it and what I see. You pay only if you want the full written verdict. One revision included. Delivered within three days. If I cannot reach a verdict, you pay nothing. Typical length: a proof or a section, up to about 3,000 words of mathematics. Longer or unusual, message me first.