Edits to pf.tex and discussion.tex