Archived tweet #9779 from the @leastfixedpoint Twitter Archive

@dustyweb Yes, that's the problem with SPKI SEXP. I'm seriously considering doing that work, because it's a fine starting point in other respects.