Proofs are assigned point values between 0 and 4 as follows.

**4 Points:** Perfect. Would pass an automated proof checker. (NOTE: Actually, the linked proof checker is both *too lenient* and *too strict*, as it allows moves that are not permitted by our rules, and does not allow some moves that are permitted by our rules.)

**3 Points:**- One or two minor misapplications of rules that could easily be fixed by being more careful. For example:

1 (1) P->-Q A 2 (2) Q A 1,2 (3) -P 1,2 MTT

For full credit, there must be an additional line:

1 (1) P->-Q A 2 (2) Q A 2 (3) --Q 2 DN 1,2 (4) -P 1,3 MTT

**2 Points:**- The proof includes one or more successful substrategies, but has irremediable flaws. (This is mostly applicable to complex proofs.) For example, having a "false line" (i.e., the sentence on the line does not follow logically from its dependencies) is usually an irremediable flaw.
**1 Point:**- Some correct applications of the rules, but no proof strategy is apparent.

Check your dependency numbers carefully. Mistakes in dependency numbers will cost you points.