What TLA+ can and can't check

3 points | by b-man 44 minutes ago