diff --git a/spec/Section 5 -- Validation.md b/spec/Section 5 -- Validation.md
index 5f737b9a9..5d6fcb0e9 100644
--- a/spec/Section 5 -- Validation.md	
+++ b/spec/Section 5 -- Validation.md	
@@ -1,8 +1,8 @@
 # Validation
 
-GraphQL does not just verify if a request is syntactically correct, but also
-ensures that it is unambiguous and mistake-free in the context of a given
-GraphQL schema.
+A GraphQL service does not just verify if a request is syntactically correct,
+but also ensures that it is unambiguous and mistake-free in the context of a
+given GraphQL schema.
 
 An invalid request is still technically executable, and will always produce a
 stable result as defined by the algorithms in the Execution section, however
diff --git a/spec/Section 6 -- Execution.md b/spec/Section 6 -- Execution.md
index 0e323d42e..c02f5f47e 100644
--- a/spec/Section 6 -- Execution.md	
+++ b/spec/Section 6 -- Execution.md	
@@ -1,6 +1,6 @@
 # Execution
 
-GraphQL generates a response from a request via execution.
+A GraphQL service generates a response from a request via execution.
 
 :: A _request_ for execution consists of a few pieces of information:
 
@@ -174,7 +174,7 @@ Subscribe(subscription, schema, variableValues, initialValue):
   {MapSourceToResponseEvent(sourceStream, subscription, schema, variableValues)}
 - Return {responseStream}.
 
-Note: In large scale subscription systems, the {Subscribe()} and
+Note: In a large-scale subscription system, the {Subscribe()} and
 {ExecuteSubscriptionEvent()} algorithms may be run on separate services to
 maintain predictable scaling properties. See the section below on Supporting
 Subscriptions at Scale.