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