diff --git a/ITP/slides.typ b/ITP/slides.typ
index 2b4a8b3..ee959d2 100644
--- a/ITP/slides.typ
+++ b/ITP/slides.typ
@@ -330,6 +330,7 @@ We verified it, and used it to check the lower bounds.
 
 == Final theorem
 
+#[
 #set text(size: 24pt)
 ```lean
 axiom unsat_6hole_cnf : (Geo.hexagonCNF 30).isUnsat
@@ -344,6 +345,7 @@ theorem holeNumber_6 : holeNumber 6 = 30 :=
     (552, 502), (754, 697), (777, 194), (1259, 320)
   ])
 ```
+]
 
 == Bibliography