A peak at how it feels to write a Quint spec from a blank file. Writing a new spec for Tendermint consensus, now with all the learning and techniques we developed over the last 3 years. My favorite part are the run descriptions. Writing them made everything click so well!