Jenkins PJ Proofs