On 1/7/07, sen1 at math.msu.edu <sen1 at math.msu.edu> wrote: > Where is the function 'definitely-so' ? Here it is. (defun definitely-so (e) (eq (mfuncall '$maybe e) t)) Sorry for the bother. best Robert