Certora Report Cozy (2).pdf