For every finite history H of x, there are n infinite histories H′I =H·Gi where only thread i takes steps in Gi, where it completes an infinite number of method calls. For every finite history Ho fx,...

For every finite history H of x, there are n infinite histories

H′I =H·Gi where only thread i takes steps in Gi, where it completes an infinite number of method calls.

For every finite history Ho fx, there is an infinite history H′=H·G where every thread completes an infinite number of method calls in G.