<div>Hi,<br></div><div><br></div><div>I believe there is a typo in the Bob-initiated KK handshake in Section 7.2 in the current draft of revision 34. According to the transformation rules in this section, rewriting an Alice-initiated handshake pattern into a Bob-initiated on requires `replacing "es" with "se"'. However, all tokens in the first proper message in the handshake (`<- e, es, ss') are identical to the ones of KK in canonical form (`-> e, es, ss ').<br></div><div><br></div><div>Cheers,<br></div><div>Andris<br></div>