{HEAD ~ An improved method} of operating {TAIL ~ a redundant processor arrangement} comprising the steps of: 
{ HEAD ~ An improved method } of operating { TAIL ~ a redundant processor arrangement } comprising the steps of :
HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH