协议正确性

correctness of protocol