added auxfns.pf.lisp