*geeky shivers*

Extra credit project for CS4600 is out.

So much awesomeness. You can't do better than first-order logic in Lisp :) Aaaah.