> If ∃y (farmer y and ∃x y owns x) then (y beats x).
> 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.