And I would like to thank you for the material you've written. You, personally, played a huge role in my choice to look into and eventually standardize on TLA+

And I would like to thank you for the material you've written. You, personally, played a huge role in my choice to look into and eventually standardize on TLA+ as my "distributed systems modelling" tool as well as getting me going on it. You rock, thank you!