Just to clarify, I strongly have the opinion that SDSI names should be
in SPKI. I did list that as one of the big areas of complexity in the
meeting, but I really don't think that should be removed. That is one
of the big wins we get with SPKI.