PASS: final proof.pdf compiled twice with pdfLaTeX.
Eight final pages rendered at 120 dpi and all pages visually inspected in four two-page views.
No clipped text, overlapping equations, or missing mathematical glyphs observed.
One harmless underfull bibliography paragraph warning; no overfull box warning.
The final manuscript explicitly covers actions on infinite sets by the finite-subbase argument.
