Thank you so much, I may take you up on that - this looks very interesting to me, and I started watching the Learn TLA+ video series. I'll for sure be looking

Thank you so much, I may take you up on that - this looks very interesting to me, and I started watching the Learn TLA+ video series. I'll for sure be looking over the stuff you just linked.