Structure for Chapter 1, Chapter 1.2 draft

.vscode/settings.json

@@ -2,6 +2,7 @@
     "cSpell.words": [
         "mdbook",
         "peaceiris",
+        "PMH",
         "RAIR",
     ],
     "editor.rulers": [125]

README.md

@@ -15,7 +15,6 @@ Then, run ```mdbook build``` in the **root directory** and ensure the message "R
 Then, in the newly created ./book/ directory on your machine, open "index.html" with your web browser of choice and determine
 if the format is to your liking.
 
-
 # Root Files and Folders
 
 ```

src/Chapter1/atom.md

@@ -0,0 +1,46 @@
+# Chapter 1.2: The Atom
+
+Debating what exactly it means to have a cat is not in the scope of this book, but compacting such statements into equivalent
+representations certainly is.
+
+An *atom* here is an indivisible component of some statement that may be true or may be false. For example, I may say that
+
+```I have a cat = C```
+
+```This cat's name is Jerry = J```
+
+And change our Sheet of Assertion accordingly. This is allowed because we may replace C with "I have a cat" and we may
+replace J with "This cat's name is Jerry" at any time. They are equal!
+
+![The Jerry compaction is not displayable.](./images/JerryCompaction.png)
+
+So are these sheets! While they look different, they really do mean the same thing. So long as one clearly states what their
+atoms mean elsewhere, they may be represented as any symbol[^1], from any alphabet, or some very long 
+annoying string, if one so desires.
+
+**Why does this matter?**
+
+While the examples about Jerry are purposefully silly, the important part about them is that atoms can be either true
+or false. Jerry may be a dog, or a cat I call Jerry
+may not really be named Jerry. It is best to refer to the first sentence 
+in Chapter 1. We are concerned with *how* statements are determined as true or false, less so if they *are* true
+or false. 
+
+If you find yourself a bit confused, think about something as simple as addition. Adding two numbers and receiving their sum
+has worked for all numbers in your head. ```1 + 1 = 2``` is never going to suddenly turn into ```1 + 1 = 43``` if you look
+at the equation the wrong way. There are rules that are repeatable regardless of who is using the rule, when, how and why. 
+We can plug numbers into ```number + number``` for the rest of time and catalogue their sums if we choose. 
+Every sum received will be equal to ```number + number```. The point is that we are concerned
+with forming rules that work for certain parameters, and less so with applying them.
+
+We say that the statement (C and J), as in, (I have a cat and This cat's name is Jerry), 
+is true only if both C and J are true, and false otherwise. If C is false, or J is false, or both C and J are false,
+(I have a cat and This cat's name is Jerry) no longer tells the full truth, and so therefore is considered false. 
+
+Note that that "or" is similar to the word "and" in the structure of a sentence, as in it is a grammar conjunction,
+but that we cannot represent that with just The Sheet of Assertion and atoms. It still appears useful, however.
+Chapter 1.3 details how we can get this, and surprisingly construct every statement you can think of, by introducing and 
+discussing The Cut.
+
+[^1] PMH supports only single-letter, English-alphabet atoms as of version 1.0.0, but in the AEG System, generally, 
+any one atom may be represented by any symbol(s).

src/Chapter1/sheetOfAssertion.md

@@ -19,7 +19,7 @@ Since the EG System was developed during a time when a computer was an occupatio
 was a blank piece of paper. This form can be expanded to include any writable surface that maintains the information written.
 This includes whiteboards, blackboards and computer screens.
 Statements written on this surface are asserted as true, and if two separate statements are made,
-they are considered to be in *conjunction* with each other. To discuss this Jerry character further, the above statements
+they are considered to be in *conjunction* with each other[^1]. To discuss this Jerry character further, the above statements
 would look like this on *The Sheet of Assertion*, our writable surface.
 
 ![The Jerry discussion is not displayable.](./images/JerryDiscussion.png)
@@ -28,13 +28,22 @@ As a result of the statements being considered *conjuncts*, as in they are in co
  the *and* was removed. Otherwise, the sentence 
 "I have a cat, and this cat's name is Jerry," and the above Sheet of Assertion are equivalent in meaning. 
 
-Alone, this is not too powerful[^1]. 
+Alone, this is not too powerful[^2]. 
 If, once, you were in a hurry and forgot a conjunction or two in writing something down, it could
-be said that you developed your own Sheet of Assertion. **Why does this matter?**
+be said that you developed your own Sheet of Assertion. 
+
+**Why does this matter?**
 
 If we had some compact way of representing statements on the sheet, we would be able to store and evaluate the whole truth
 of some large collection of statements at once. Chapter 1.2 details this compact representation in discussing The Atom.
 
-[^1] Of note now, but not worth detailing yet, is that other logics use the symbol ∧ to denote conjunctions. This is
+[^1] An interesting consequence of this is that these statements do not have to be in any particular spatial relationship
+aside from being on the same sheet at the same time. 
+No statement must necessarily be visible to the eye, evidenced in PMH's Draw and Proof Modes. 
+No statement must necessarily be next to a related statement in position, either. If some Sheet of Assertion was a thousand
+miles long, a statement written at mile 0 is still in conjunction with a statement written at mile 1,000.
+
+[^2] Of note now, but not worth detailing yet, is that other logics use the symbol ∧ to denote conjunctions
+(not uppercase lambda!) This is
 one example of several in the EG System where the set of symbols was cut down. This assists in an otherwise complex 
-process of understanding what one is even looking at in other logics.
+process of understanding what one is even looking at in all logics.

src/SUMMARY.md

@@ -4,6 +4,14 @@
 
 - [Thinking Logically with AEGs](./Chapter1/chapter_1.md)
     - [The Sheet of Assertion](./Chapter1/SheetOfAssertion.md)
+    - [The Atom](./Chapter1/atom.md)
+    - [The Cut](./Chapter1/chapter_1.md)
+    - [Conjunctions between Symbols](./Chapter1/chapter_1.md)
+    - [Rules of Equivalence](./Chapter1/chapter_1.md)
+    - [Rules of Inference](./Chapter1/chapter_1.md)
+    - [What AEGs Can and Cannot Model](./Chapter1/chapter_1.md)
+    - [Conclusion](./Chapter1/chapter_1.md)
+
 - [The Propositional Calculus and AEGs](./Chapter2/chapter_2.md)
 
 - [Drawing and Proving AEGs with PMH](./Chapter3/chapter_3.md)