n Variable granularity   (lcf, pruning, etc) n Degree of annotation for human readability  (human paraphrase in addition to machine readability) n Agents should be able to verify proofs n Proofs should be “nestable” and “queryable and/or reexecutable” n Proof language should be ubiquitous n Proofs should be incremental n Confidence in proof steps should be expressible n Daml-compliant inference engines should respond to client requests with “reasonable explanation” in the daml language n Identifying rules   (naming,…)