work done on examples in \dev\prf_terms