diff --git a/basic.pdf b/basic.pdf
index 5cf9e79..7625d37 100644
Binary files a/basic.pdf and b/basic.pdf differ
diff --git a/differential_calculus.pdf b/differential_calculus.pdf
index 3a2a9c4..8f07f81 100644
Binary files a/differential_calculus.pdf and b/differential_calculus.pdf differ
diff --git a/manual.pdf b/manual.pdf
index ee43f17..bd8c1d7 100644
Binary files a/manual.pdf and b/manual.pdf differ
diff --git a/manual.typ b/manual.typ
index 930697e..3ba48a2 100644
--- a/manual.typ
+++ b/manual.typ
@@ -579,6 +579,7 @@ appropriate for proofs.
     ..args,
     namefmt: emph,
     bodyfmt: proof-bodyfmt,
+    ..args.named()
 ).with(numbering: none)
 ```
 
diff --git a/manual_examples.pdf b/manual_examples.pdf
index 2f56c82..e1056b2 100644
Binary files a/manual_examples.pdf and b/manual_examples.pdf differ
diff --git a/theorems.typ b/theorems.typ
index 1e5f218..8c89de9 100644
--- a/theorems.typ
+++ b/theorems.typ
@@ -212,6 +212,7 @@
     ..args,
     namefmt: emph,
     bodyfmt: proof-bodyfmt,
+    ..args.named()
 ).with(numbering: none)