Open Discussion: talk about this. https://www.comp.xyz/t/comp-liquidation-risk
We oppose Certora’s proposal.