What TLA+ can and can't check Link: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/ Discussion: https://news.ycombinator.com/item?id=49909056