diff --git a/chapters/equivalence-negation.qmd b/chapters/equivalence-negation.qmd
index 41d6df5f..81d17704 100644
--- a/chapters/equivalence-negation.qmd
+++ b/chapters/equivalence-negation.qmd
@@ -124,6 +124,10 @@ the exercises are new.
 
 {{< slidebreak >}}
 
+{{< include ../_subfiles/proof-writing/_substitution-logic_exm.qmd >}}
+
+{{< slidebreak >}}
+
 {{< include ../_subfiles/proof-writing/_de-morgan-logic_thm.qmd >}}
 
 {{< slidebreak >}}
diff --git a/_subfiles/proof-writing/_conditional-as-or_exm.qmd b/chapters/outtakes/_conditional-as-or_exm.qmd
similarity index 100%
rename from _subfiles/proof-writing/_conditional-as-or_exm.qmd
rename to chapters/outtakes/_conditional-as-or_exm.qmd
diff --git a/_subfiles/proof-writing/_distributive_exm.qmd b/chapters/outtakes/_distributive_exm.qmd
similarity index 100%
rename from _subfiles/proof-writing/_distributive_exm.qmd
rename to chapters/outtakes/_distributive_exm.qmd
diff --git a/_subfiles/proof-writing/_negate-conditional_exm.qmd b/chapters/outtakes/_negate-conditional_exm.qmd
similarity index 100%
rename from _subfiles/proof-writing/_negate-conditional_exm.qmd
rename to chapters/outtakes/_negate-conditional_exm.qmd