Perhaps there is some confusion here between data races and race conditions. Rust and Pony prevent data races, but not race conditions.