Writing a Truth Oracle in Lisp