actually you just gave me an idea where can I apply TLA+ in my job right now, we were thinking hard of many kafka streams and retry mechanisms we need to use, a

actually you just gave me an idea where can I apply TLA+ in my job right now, we were thinking hard of many kafka streams and retry mechanisms we need to use, and still guarantee order without being blocking, and I think TLA+ is the perfect tool for the job of checking if we are not missing any edge cases with our current plan