Trusted processing


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