diff --git a/paper/ltl.pdf b/paper/ltl.pdf
index 426729f..dcb96fc 100644
Binary files a/paper/ltl.pdf and b/paper/ltl.pdf differ
diff --git a/paper/ltl.tex b/paper/ltl.tex
index 9b370ea..7bfe8d8 100644
--- a/paper/ltl.tex
+++ b/paper/ltl.tex
@@ -16,8 +16,7 @@
 \setlength{\columnsep}{0.8cm}
 
 \title{\textbf{LTL: Lean Transparency Log}\\[2pt]
-\large Distributing Machine-Checked Proof Evidence through a
-Recursively Self-Certifying Merkle Log}
+\large Where Deductive and Cryptographic Proof Vouch for Each Other}
 \author{Olaf Horvath\\ \small \texttt{Olaf.Horvath@zkdefi.org} --- \url{ltl.zkdefi.org}}
 \date{July 2026}