Upon receiving the beacon , {HEAD ~ a terminal} checks {TAIL ~ the beacon} 
checks
Upon receiving the beacon , { HEAD ~ a terminal } checks { TAIL ~ the beacon }
OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL