# recommends

See [this guide page](./spec_vs_proof.md#recommends) for motivation and overview.