Thanks to everyone who joined the Certora + @ElectricCapital run this morning at @EthereumDenver!

Where should we do the next one? https://t.co/x9RidxakI8