Archived tweet #4933 from the @leastfixedpoint Twitter Archive

Right, boring stuff out of the way. The interesting part now is the semantics of certificates. SPKI 5tuple reduction = datalog + provenance?