Paste the formal text, generate, then compare side by side: every fact in the original must survive in the rewrite. Adjust any line that lost precision.