[esafak]

What did you do to get the TLA output?

[aerodexis]

I was working from a design-doc, not code.

"look at @design-document and generate a TLA+ specification for the interactions between local and remote"