fritz - one year proofs

December 29th, 2022