At operation 2012 {TAIL ~ the reader} verifies {HEAD ~ the tag response} using the TPK 
At operation 2012 { TAIL ~ the reader } verifies { HEAD ~ the tag response } using the TPK
OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH