A minor nit about this article: > Go has great concurrency support, but Rust has provably-correct concurrency. I believe it's incorrect to say Rust has provab

A minor nit about this article: > Go has great concurrency support, but Rust has provably-correct concurrency. I believe it's incorrect to say Rust has provably-correct concurrency. It prevents data-races, but not race conditions: https://doc.rust-lang.org/nomicon/races.html https://doc.rust-lang.org/nomicon/races.html.