proofs/canary/2023/november/3.md