Oct 4, 2006
-------------

- Even more practice with predicate logic
	- worked out a little bit of homework problem
	- solved predicate logic problems from two old CS 4804 midterms