Figures 2, 5, and 6 also mention "PTK", and should be changed to either "TK" 
or just "key" (since these figures are just illustrative examples, they don't 
really have to contain all the details)