Currently the ENCRYPT/DECRYPT and GETKEY functions are supposed to “increment the nonce.” This appears to contradict Section 5.1 which says "The session nonce n is incremented after every encryption or decryption operation.” Does it make sense to strike the sentences about incrementing the nonce from the ciphersuite functions? Jonathan