Chapter5: Rephrasing in protocol analysis