All race conditions, deadlock ...
All race conditions, deadlock conditions, and concurrent problems are due to mutable variables.