put soundness and completeness to the end of correctness section; add a few description on send and receive in section 2; add one sentence to explain zero buffe compatible in introduction