assignment7 tweaks

[lambda.git] / hints / assignment_7_hint_5.mdwn

diff --git a/hints/assignment_7_hint_5.mdwn b/hints/assignment_7_hint_5.mdwn
index af3c947..882a623 100644 (file)
--- a/hints/assignment_7_hint_5.mdwn
+++ b/hints/assignment_7_hint_5.mdwn
@@ -176,4 +176,5 @@
        >       If ∃y (farmer y and ∃x y owns x) then (y beats x).
 
 
-*      Can you figure out how to handle \[[not φ]] on your own? If not, here are some [more hints](/hints/assignment_7_hint_6). But try to get as far as you can on your own.
+*      Can you figure out how to handle \[[not φ]] and the other connectives? If not, here are some [more hints](/hints/assignment_7_hint_6). But try to get as far as you can on your own.
+