TOMORROW we're hosting a Space on Choreo and you're officially invited! Join @bugarela and @buchmanster for a Q&A all about Choreo, our new framework to make writing Quint specifications for distributed systems a batteries-included experience. Ready to choreograph some protocols?