          ^ByteBuf inner-vouch-buffer ::crypto/unboxed} (decrypt-cookie log-state
                                                                        cookie-cutter
                                                                        hello-cookie)]
-    (println "decrypt-cookie returned:" inner-vouch-buffer)
     (if inner-vouch-buffer
       ;; Yet again: Converting this to a ByteBuf was a mistake
       (let [inner-vouch-bytes (byte-array (.readableBytes inner-vouch-buffer))]

         inner-pk ::specs/public-short} (unbox-innermost-key log-state
                                                             my-keys
                                                             client-message-box)]
    (println "Mark J. inner-pk:"
             inner-pk
             "log-state:"
             (dissoc log-state ::log/entries))
    (if inner-pk
      (let [matched? (b-t/bytes= client-short-pk inner-pk)]
        {::log/state (if matched?
                       log-state
                       (log/warn log-state
                                 ::client-public-key-triad-matches?
                                 "Inner pk doesn't match outer"

         :as cookie-extraction} (extract-cookie log-state
                                                cookie-cutter
                                                initiate)]
    (if cookie
      ;; It included a secret cookie that we generated sometime within the
      ;; past couple of minutes.
