Text this: Justification logic and audited computation.