fix diff.

https://class.coursera.org/progfun-002/assignment/part_results?part_id=6
exists is implemented in terms of forall

https://class.coursera.org/progfun-002/assignment/part_results?part_id=6