proofs/canary/2023/december/3.md