An review of the post is at https://lemmster.de/tla-liveness-review.html