# Principles

What a blueprint of a person's reasoning adds to the standard, in two groups: the statement the person audits, and the claim the person writes.

| Group | What it holds |
|---|---|
| [Statement: what the person audits](statement/README.md) | the Lean statement is short, apart from its proof, and tied to one claim |
| [Claim: what the person writes](claim/README.md) | the person splits the reasoning, and the loop speaks at the grain of the claim |

The table with every claim and grade is in the [card](../standard.md).