Proof

Kind: mode

Record: reasoning:mode-proof

Canonical: Reasoning

establishing certainty

Listed in Reasoning records, after Construction and before Prediction.

Grounded by

• VERIFIES

Linked from

• document_verb