TLA+ mental models

https://fed.brid.gy/r/http://muratbuffalo.blogspot.com/2026/03/tla-mental-models.html