Retrospective account is qualified as the author's assessment; no absolute first-priority claim. PDFequations mostly absent in text extractor; elementary counts and coarse polynomial/exponential bounds also checked independently. DOI omitted because primary DOI metadata was not inspected.
