Trusted processing

• Statement about key ...
• Document signed with key
• Document parses to Swell forumla

kassures(key, forumula) => f(statement)