Changes
/* Receive */
|-
|align="right"| Verify session id and transcript consistency and sender sequence number, issue a warning in case of failure
|align="center"|<math> sid_i \stackrel{?}{=} sid_{rec} \; \textrm{</math> and} <math> \; h \stackrel{?}{=} H(H(parent(m)), H(TranscriptChain^S_i[parent(m)-1])) \textrm{<math> and} </math> sender_seq_num \stackrel{?}{>} last_own_seq_nums[sender_id] </math>
|align="center"|Computation
|-
