https://roscidus.com/blog/blog/2026/01/01/tla-liveness/