X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=hints%2Fassignment_7_hint_5.mdwn;h=882a62327762366dc361db0e9435c22c31d5cd3f;hb=f212354152a53c6a3ab018c7874570c600f463b9;hp=af3c947692681dca251dab87ff4967948d6caf11;hpb=56875febe11ea5c63e753b64c546a7a45f28e343;p=lambda.git

diff --git a/hints/assignment_7_hint_5.mdwn b/hints/assignment_7_hint_5.mdwn
index af3c9476..882a6232 100644
--- 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.
+