proofs/canary/2023/september/1.md