Change a bunch of `\cite`s to `\shortcite`s in sec 2 for JFP.
For JFP, try to word the "proofs appear elsewhere" less awkwardly.