incremental delivery with deduplication of delivery and execution, al…

…lowing early delivery

spec/Section 5 -- Validation.md

@@ -474,7 +474,7 @@ unambiguous. Therefore any two field selections which might both be encountered
 for the same object are only valid if they are equivalent.
 
 During execution, the simultaneous execution of fields with the same response
-name is accomplished by {MergeSelectionSets()} and {CollectFields()}.
+name is accomplished by {AnalyzeSelectionSet()} and {ProcessSubSelectionSets()}.
 
 For simple hand-written GraphQL, this rule is obviously a clear developer error,
 however nested fragments can make this difficult to detect manually.
@@ -1530,7 +1530,7 @@ query ($foo: Boolean = true, $bar: Boolean = false) {
 
 ### Defer And Stream Directives Are Used On Valid Root Field
 
-** Formal Specification **
+**Formal Specification**
 
 - For every {directive} in a document.
 - Let {directiveName} be the name of {directive}.
@@ -1558,7 +1558,7 @@ mutation {
 
 ### Defer And Stream Directives Are Used On Valid Operations
 
-** Formal Specification **
+**Formal Specification**
 
 - Let {subscriptionFragments} be the empty set.
 - For each {operation} in a document:
@@ -1607,7 +1607,7 @@ subscription sub {
 
 ### Defer And Stream Directive Labels Are Unique
 
-** Formal Specification **
+**Formal Specification**
 
 - Let {labelValues} be an empty set.
 - For every {directive} in the document: