Hacker News Reader

TLA+ does not do what you think it does.

Go on, you're not saying anything yet.

I dont do consulting for free. I set you up already on the path of enlightenment :-)