Hey thanks for this comment! It reminded me that I wanted to play with TLA+ some years ago. Now, for the first time, I got a couple of models checked :)