theo - one year proofs

May 3rd, 2022