3 ms·Haha, sorry. Although I will say your blog is precisely where my interest in TLA+ originated from.by Bjartr 6y agoHaha, sorry. Although I will say your blog is precisely where my interest in TLA+ originated from.