Non-Determinism
Thread 1
x = x+2;
Thread 2
x = x*5;
Suppose x == 1 initially.
What is x now?
