Signpost sub-sections for Section 2 per Norman's comment.
Address software is not plural noun.
change coordinate -> deliberate
clarify validation means semantic as well as syntactic
Try to improve wording in para 3 of section 2.1.2
refine argument about TEMP ambiguity in 2.1.2
add Norman's EXPTIME example refinement
add tweak about English forces limit on audience of file