Analysis and History chapters are now readable.

Further proof reading needed!

doc/AgainstTruth.md

@@ -1,5 +1,7 @@
 # Against Truth
 
+[Simon Brooke](mailto:simon@journeyman.cc)
+
 > Hey, what IS truth, man? [Beeblebrox, quoted in [Adams, 1978]]
 
 *This title is, of course, a respectful nod to Feyerabend's Against Method*
@@ -12,6 +14,10 @@ The second part starts with an  account of a system built by the author in colla
 
 This document deals only with  explanation. Issues relating to inference and especially to truth  maintenance will undoubtedly be raised as it progresses, but such  hares will resolutely not be followed.
 
+## Note on the quality of the text
+
+Much of this text was written between 1986 and 1988 on Xerox 1108 and 1186 workstations, in their native WYSIWYG document system, and printed as hard copy; and some was written on the very first generation of Apple Macintosh computer, and again printed as hard copy. The text here is the consequence of scanning the hard copy and running optical character recognition on the scans. It isn't perfect. I am proof reading as I go and I hope that it will improve.
+
 ## Contents
 
 ### Frontmatter
@@ -26,6 +32,12 @@ This document deals only with  explanation. Issues relating to inference and esp
 
 ### Part Two: Into the wild wood
 
+1. [Arboretum](Arboretum.html)
+2. [Conception](Conception.html)
+3. [Reimagining](Reimagining.html)
+4. [Implementing](Implementing.html)
+5. [Experience](Experience.html)
+
 ### Endmatter
 
 1. [Errata](Errata.html)

doc/Arboretum.md

@@ -0,0 +1,7 @@
+# Arboretum
+
+**TODO**: To be scanned from chapter iv of the 21st June 1988 draft.
+
+![Arboretum screen view showing sample explanations](../img/Arboretum_screen.png)
+
+*Arboretum screen showing a number of generated explanations. This picture was scanned from a 32 year old acetate slide, apologies for quality*

doc/Conception.md

@@ -0,0 +1,3 @@
+# Conception
+
+**TODO**: To be scanned from chapter v of the 21st June 1988 draft.

doc/History.md

@@ -461,14 +461,17 @@ The application here is to the  adjudication of claims to health insurance benef
 
     Dear [Name of  Claimant]
 
-    You are capable of work and  there are no special circumstances permitting you to be deemed  incapable of work. Although you provided a valid certificate of  explanation, this is insufficient unless either there is evidence  of contact with the disease or you are a known carrier  thereof.
+    Although physically capable of work you may
+    nonetheless be deemed incapable of work today. You are
+    deemed incapable of work for precautionary reasons. You
+    are deemed incapable of work on precautionary grounds
+    as you are under medical care, and your doctor has
+    recommended that you abstain from working.
 
     Yours Sincerely
 
     [your name]
 
-TODO: this is not a very good Arboretum explanation; I know  we did better ones on Widows’ benefit. Check whether I can find a  surviving good one, and substitute it.
-
 ### Discussion
 
 It will be seen that this is a  short, clear, declarative statement in seemingly natural English,  which covers all (and only) the relevant points of a complex  case. To be fair, the system does not always do this well, but  most of its explanations are of this quality.
@@ -526,7 +529,11 @@ Although these are all LISP like  in form (indeed the assertions themselves are
 
 ### Example  explanation:
 
-    Well, Peter makes less than 750  dollars, and Peter is under 19, and Harry supports Peter so Peter  is a dependent of Harry's. Uh Peter makes less than 750 dollars  because Peter does not work, and Peter is a dependent of Harry's  because Harry provides more than one half of Peter's  support.
+    Well, Peter makes less than 750  dollars, and Peter is under 19, and
+    Harry supports Peter so Peter  is a dependent of Harry's. Uh Peter
+    makes less than 750 dollars  because Peter does not work, and Peter
+    is a dependent of Harry's  because Harry provides more than one half
+    of Peter's  support.
 
 I should explain that the  application is to the US Federal Income Tax system. This  explanation does indeed capture something of the flavour of a  natural spoken explanation. Furthermore, it is clearly  declarative rather than procedural. However, personally, I find  its style rather too informal for textual presentation. I  particularly dislike the meaningless 'Uh' which is use to tag the  supporting point.
 

doc/OnHylasAndPhilonus.md

@@ -0,0 +1,28 @@
+# On the First Dialogue of Hylas and Philonous
+
+The argument that our perception of a 'real world' does not prove its
+existence is not new, of course. Here is a classic statement of a similar argument from
+BerkeIey's *[First Dialogue of Hylas and Philonous](http://www.gutenberg.org/files/4724/4724-h/4724-h.htm)*:
+
+> Hyl.: Do we not perceive the stars and moon, for example, to be a
+A great way off? Is not this, I say, manifest to the senses? I
+
+> Phil.: Do you not in a dream too perceive those or like objects?
+
+> Hyl.: I do.
+
+> Phil.: And have they not then the same appearance of distance?
+
+> Hyl.: They have.
+
+> Phil.: But you do not thence conclude the apparitions in a dream to
+be without the mind?
+
+> Hyl.: By no means.
+
+> Phil.: You ought not therefore to conclude that sensible objects are
+without the mind, from their appearance or manner wherein they are
+percieved.
+
+> Hyl.: I acknowledge it.
+