jensen - sr proofs

April 29th, 2022