190723_Raj_Proofs