imports/sets/chapter_1/1.3.md read against ens-i-iv

8 printed pages, 3 sentences of the pages not in the import, 1 sentence of the import on no page.

share audit has already held this import against the printed contents and the printed labels, and this sheet does not repeat that. What is here is the prose: the sentences of each printed page that the import does not carry, and the sentences of the import that no page of the section carries. A passage on this sheet is a place to look and not a fault. The two sides are two transcriptions of one piece of type and they disagree about markup, about headings and about running heads without either being wrong about the book.

pdf page 35, 83% of its prose in the import

The head of this page is the end of the previous §, printed above this §'s heading. A passage here may belong to that § and be missing from nothing.

• 0% found. *Remark.* Under the hypotheses of C5, if the theory $\mathscr{T}$ turns out to be contradictory, the same will be true of $\mathscr{T}'$.
• 0% found. For if $A$ and "not $A$" are theorems in $\mathscr{T}$, then $(T_1|a_1) \ldots (T_h|a_h)A$ and $\mathrm{not}(T_1|a_1) \ldots (T_h|a_h)A$ are theorems in $\mathscr{T}'$.
• 0% found. \* For example, if the theory of groups were contradictory, the theory of sets would also be contradictory.

7 sentences under eight words, too short to make a run and left out.

pdf page 36, 100% of its prose in the import

Nothing to look at. 14 sentences under eight words, too short to make a run and left out.

pdf page 37, 100% of its prose in the import

Nothing to look at. 6 sentences under eight words, too short to make a run and left out.

pdf page 38, 100% of its prose in the import

Nothing to look at. 8 sentences under eight words, too short to make a run and left out.

pdf page 39, 100% of its prose in the import

Nothing to look at. 9 sentences under eight words, too short to make a run and left out.

pdf page 40, 100% of its prose in the import

Nothing to look at. 9 sentences under eight words, too short to make a run and left out.

pdf page 41, 100% of its prose in the import

Nothing to look at. 13 sentences under eight words, too short to make a run and left out.

pdf page 42, 97% of its prose in the import

Nothing to look at. 9 sentences under eight words, too short to make a run and left out.

In the import and on no page of the section

This is the half share audit cannot see. A transcription made by a model reading a photograph does not leave a gap where it could not read a line, it writes the sentence the book would most likely have there, and a fluent invention passes every check this project owns. Read each of these against the printed section before the import is promoted.

• 12% found. For $$ ((\operatorname{not}A)\text{ or }B) \Rightarrow ((\operatorname{not}A)\text{ or }(\operatorname{not}\operatorname{not}B)) $$ is a theorem, by C11, S4 and C1.

45 sentences under eight words, too short to make a run and left out.