{TAIL ~ Sequential state elements} in {HEAD ~ triple mode redundant state machines} 
{ TAIL ~ Sequential state elements } in { HEAD ~ triple mode redundant state machines }
TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD HEAD HEAD