Forall intents - the initial implementation.

I could use a bit more explanation here.
What is the nature of the race? How does it introduce imprecision? Do we care?