"protocol, p, is a triple ( X,, T,, I,) where" . . . .