1 files changed, 2 insertions, 0 deletions
diff --git a/1.5.md b/1.5.md
index 3bdb0ab..586ec5f 100644
--- a/1.5.md
+++ b/1.5.md
@@ -90,3 +90,5 @@ Ex. Let S(x) be "x is a student," A(x,y) be "x has asked y a question," and F(x)
 		- True if S(x) or F(y) is false (contradicts the statement)
 
 ---
+
+[1.7 ->](1.7.md)