not true - you can have a program that is free of data races but still contains race conditions. Rust prevents data races.