Updated pf.tex per Wendy's comments