Tweaks

preserves-text.md

@@ -15,7 +15,7 @@ from the [Preserves data model](preserves.html) that is easy for people
 to read and write. An [equivalent machine-oriented binary
 syntax](preserves-binary.html) also exists.
 
-## Preliminaries
+## Text Syntax
 
 The definition uses [case-sensitive ABNF][abnf].
 
@@ -32,7 +32,7 @@ carriage returns, line feeds, or commas.
                 ws = *(%x20 / %x09 / newline / ",")
            newline = CR / LF
 
-## Grammar
+### Grammar.
 
 Standalone documents may have trailing whitespace.
 
@@ -233,7 +233,7 @@ prefixing a `ByteString` containing the binary representation of the
     the `#` are prepended to any binary-syntax annotations yielded by
     decoding the `ByteString`.
 
-## Annotations
+### Annotations.
 
 When written down, a `Value` may have an associated
 sequence of *annotations* carrying “out-of-band” contextual metadata

preserves.md

@@ -190,7 +190,7 @@ domain-specific rules.
     `Embedded` rewriting without the quotation-related complications
     of encoding references as, say, `Record`s.
 
-*Examples.* In a Java or Python implementation, an `Embedded` may
+*Motivating Examples.* In a Java or Python implementation, an `Embedded` may
 denote a reference to a Java or Python object; comparison would be
 done via the language's own rules for equivalence and ordering. In a
 Unix application, an `Embedded` may denote an open file descriptor or