add four diagrams! paper is a little less than 4 pages. some diagrams may be incomplete (HMAC proof, equivalence proof chain); will remake after I write the prose