diff --git a/courses/sample/open-logic-sample.tex b/courses/sample/open-logic-sample.tex
index c50ab84e..1213ae74 100644
--- a/courses/sample/open-logic-sample.tex
+++ b/courses/sample/open-logic-sample.tex
@@ -148,6 +148,8 @@ \chapter{Natural Deduction}
 
 \part{Computability and Incompleteness}
 
+\olimport*[incompleteness/introduction]{introduction}
+
 % include intro to recursive function from computability part
 
 \olimport*[computability/recursive-functions]{recursive-functions}