Patrick Joseph Mullen Proofs