It's obvious you're not making even the most cursory effort to understand the claims of your interlocutors. The info you have provided about TLA+ is extremely

It's obvious you're not making even the most cursory effort to understand the claims of your interlocutors. The info you have provided about TLA+ is extremely useful and I hope you can see that I have made a good faith effort to understand your point of view. However, I do not feel an equal effort back towards my position, so I'm afraid I'll have to leave it there.