diff --git a/docs/base-logic.tex b/docs/base-logic.tex
index a88b58ad7ef575761fa12c94ae74715f6146f8bc..407ad7e1a51ac6ef6365354502f84aa57cc5b05d 100644
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -203,7 +203,7 @@ This is entirely standard.
   {}
   {\prop \proves \prop}
 \and
-\infer[Subst]
+\infer[Cut]
   {\prop \proves \propB \and \propB \proves \propC}
   {\prop \proves \propC}
 \and