diff --git a/llms.txt b/llms.txt
index bf7d1ed..cbd089c 100644
--- a/llms.txt
+++ b/llms.txt
@@ -18,7 +18,7 @@
 ## Live evidence
 
 - Transparency log (RFC 9162): https://ltl.zkdefi.org — signed replay attestations of the Lean proofs, one leaf per fork.
-- The paper: https://ltl.zkdefi.org/paper — "LTL: the Lean Transparency Log".
+- The paper: https://ltl.zkdefi.org/paper — "LTL: Lean Transparency Log".
 
 ## For agents
 
diff --git a/paper/ltl.pdf b/paper/ltl.pdf
index 42c12a1..426729f 100644
Binary files a/paper/ltl.pdf and b/paper/ltl.pdf differ
diff --git a/paper/ltl.tex b/paper/ltl.tex
index fdbfb76..9b370ea 100644
--- a/paper/ltl.tex
+++ b/paper/ltl.tex
@@ -15,10 +15,10 @@
 \newcommand{\den}[1]{[\![#1]\!]}
 \setlength{\columnsep}{0.8cm}
 
-\title{\textbf{LTL: the Lean Transparency Log}\\[2pt]
-\large Distributing Machine-Checked Proof Evidence via an Authenticated
-Data Structure Signed by Its Own Certified Artifact}
-\author{saymrwulf\\ \small zkdefi.org --- \url{https://ltl.zkdefi.org}}
+\title{\textbf{LTL: Lean Transparency Log}\\[2pt]
+\large Distributing Machine-Checked Proof Evidence through a
+Recursively Self-Certifying Merkle Log}
+\author{Olaf Horvath\\ \small \texttt{Olaf.Horvath@zkdefi.org} --- \url{ltl.zkdefi.org}}
 \date{July 2026}
 
 \begin{document}
diff --git a/provider/src/pacta_provider/webdocs.py b/provider/src/pacta_provider/webdocs.py
index a8d3b38..c4867ed 100644
--- a/provider/src/pacta_provider/webdocs.py
+++ b/provider/src/pacta_provider/webdocs.py
@@ -222,7 +222,7 @@ until the reproducible-builds program (R5) lands. Every attestation carries its
 residual-risk list. Honesty about the boundary is the product.</div>
 
 <h2>The paper</h2>
-<div class="card"><a href="{base}/paper"><strong>LTL: the Lean Transparency Log</strong></a>
+<div class="card"><a href="{base}/paper"><strong>LTL: Lean Transparency Log</strong></a>
 (PDF, 4 pages) — the design in full: the trust model (observations, never verdicts),
 the self-certifying signature, the deployment with its retained failure leaves, and an
 exact account of what a verified receipt does and does not establish.</div>