So, in formal terms, the triple maps to the SA. I think this should be mentioned prominently in the arch doc. Unfortunately, I had the mapping of the double <spi,dst> to SA in mind as a firm principle in doing my implementation.