R&J Proofs