It's a good time to start using modeling / spec writing tools like [quint](https://github.com/informalsystems/quint) to connect the code and design as we're starting to do manually in #277.
It's a good time to start using modeling / spec writing tools like quint to connect the code and design as we're starting to do manually in #277.