I'm not in the field. For anyone else curious about relationship to things like TLA+ (https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B)

I'm not in the field. For anyone else curious about relationship to things like TLA+ (https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B) - the discussion at https://news.ycombinator.com/item?id=15583377 https://news.ycombinator.com/item?id=15583377 was great.