Spec

Prose that cites facts by their wire id in backticks. Every citation links to the fact it names; a claim that references a nonexistent fact fails the build.