Ah - interesting! I would not have expected 1. I will dig into TLA+ and try to understand it better. Thanks! Please do consider writing a blogpost, I'm sure ma

Ah - interesting! I would not have expected 1. I will dig into TLA+ and try to understand it better. Thanks! Please do consider writing a blogpost, I'm sure many here would appreciate it.