> If psk is True and message_index is 0 or 1, sets explicit_random to 32 cryptographically-secure random bytes, writes explicit_random to the buffer, and calls MixKey(explicit_random). For messages that do a dhee or dhes in the first message, doesn't this only need to be done for message_index == 0, but not message_index == 1?