Some additional considerations of protocol analyses.

Some additional considerations of protocol analyses.