Clearly, this is important as {HEAD ~ correctness} of {TAIL ~ a system} with a fixed number of threads does not, in general, establish correctness for an arbitrary number 
of
Clearly , this is important as { HEAD ~ correctness } of { TAIL ~ a system } with a fixed number of threads does not , in general , establish correctness for an arbitrary number
OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH