This is great feedback, thanks! Probably the first step tutorial should just be on something very straightforward, like an hour clock or a counter. I'll file an

This is great feedback, thanks! Probably the first step tutorial should just be on something very straightforward, like an hour clock or a counter. I'll file an issue to introduce something more focused. Thanks again :) edit: https://github.com/informalsystems/quint/issues/1319 https://github.com/informalsystems/quint/issues/1319