diff --git a/documents/by-course/math-8/course-notes/main.typ b/documents/by-course/math-8/course-notes/main.typ
index 29d32f5..a077e57 100644
--- a/documents/by-course/math-8/course-notes/main.typ
+++ b/documents/by-course/math-8/course-notes/main.typ
@@ -46,7 +46,7 @@ first two exam scores if it is higher.
 = Chapter 1: Logic and Proofs
 
 
-== Trivial Preliminaries
+== Trivial preliminaries
 
 Definitions barely worth considering. Included purely for posterity.
 
@@ -92,7 +92,8 @@ as *propositional forms*.
   - $n = 2m + 1, exists m in ZZ$
 ]
 
-DeMorgan's Laws tell us how to distribute logical connectives across parentheses.
+DeMorgan's Laws tell us how to distribute logical connectives across
+parentheses.
 
 #theorem[DeMorgan's Laws][
   + $not (P or Q) = not P and not Q$