Comment by alexflashdrive

Well, I don't have any idea what's TLA+ is so I just asked the agent and that's it's response yep