alex - sr proofs

March 23rd, 2023