# derivation

Proof nodes of a computed answer: takes a materialized document and an identifier, and returns the proof-graph nodes with that identifier or that conclusion. Reads the ready answer document; it never evaluates anything itself. Grounds are quoted, not recomputed.

## Arity

Takes `2` arguments on the `materialized` layer.