diff --git a/spec/Section 5 -- Validation.md b/spec/Section 5 -- Validation.md
index 31a0d828e..4ecadad35 100644
--- a/spec/Section 5 -- Validation.md	
+++ b/spec/Section 5 -- Validation.md	
@@ -2005,38 +2005,6 @@ fragment fragmentArgUnused($atOtherHomes: Boolean) on Dog {
 This document is invalid: fragment `fragmentArgUnused` defines a fragment
 variable `$atOtherHomes`, but this variable is not used within this fragment.
 
-### All Fragment Arguments Used
-
-**Formal Specification**
-
-- For every {fragment} in the document:
-  - Let {arguments} be the variables defined by that {fragment}.
-  - Each {argument} in {variables} must be used by at least once fragment spread
-    in either the scope of an operation included within the document or any
-    fragment transitively referenced by any operation.
-
-**Explanatory Text**
-
-All arguments defined by a fragment must be used at least once within the
-document.
-
-For example, the following is invalid:
-
-```graphql counter-example
-query queryWithFragmentArgUnused {
-  dog {
-    ...fragmentArgUnused
-  }
-}
-
-fragment fragmentArgUnused($atOtherHomes: Boolean = true) on Dog {
-  isHouseTrained(atOtherHomes: $atOtherHomes)
-}
-```
-
-This document is invalid: fragment `fragmentArgUnused` defines a fragment
-argument `$atOtherHomes`, but this is not used within the document.
-
 ### All Variable Usages Are Allowed
 
 **Formal Specification**