X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=damn.mdwn;h=9896c58d4028abda153ce6ab327ef94265150ac9;hp=6913c2838815de65efb2e27ef7f3c844ca0ee3f3;hb=44843f96be29b33e45ee026b2a6b87c4a65876b9;hpb=153d79ff07fa1d6fb0d7673e768181ada64b01ba

diff --git a/damn.mdwn b/damn.mdwn
index 6913c283..9896c58d 100644
--- a/damn.mdwn
+++ b/damn.mdwn
@@ -1,10 +1,10 @@
-1. Sentences have truth conditions.
+1.	Sentences have truth conditions.
 
-2. If "John read the book" is true, then
-   John read something,
-   Someone read the book,
-   John did something to the book, 
-   etc.
+2.	If "John read the book" is true, then it follows that:
+	John read something,  
+	Someone read the book,  
+	John did something to the book,  
+	etc.
 
 3. If "John read the damn book",
    all the same entailments follow.