Grammar fix

Author: Emilia Hane

discv5/discv5-theory.md

@@ -441,17 +441,17 @@ frequently have to re-establish sessions to its peers.
 
 ### Limiting resource consumption of peers behind symmetric NATs, useful for light-clients
 
-Peers with non-contactable ENRs do not get inserted into kbuckets. Nodes that are behind
+Peers with uncontactable ENRs do not get inserted into kbuckets. Nodes that are behind
 symmetric NATs will naturally never succeed in pinpointing one external socket for peers
-to reach them on by [runtime address discovery] and therefore their non-contactable ENRs
+to reach them on by [runtime address discovery] and therefore their uncontactable ENRs
 will never update to contactable ENRs. This means, these peers will never respond to
 requests, as only peers in kbucktes are sent requests. This does not cohere with the
-p2p-model, rather the server-client model where the peer with a non-contactable ENR acts
+p2p-model, rather the server-client model where the peer with a uncontactable ENR acts
 as the client. This misalignment is especially bothersome for well behaving (externally
 reachable) light-clients operating on limited resources. Discv5.2 corrects this
 side-effect of [runtime address discovery] by setting introducing a configurable limit to
-the number of sessions at a time with peers with non-contactable ENRs, the lower limit
-being 1. Nodes must accept sessions with at least one peer with a non-contactable ENR to
+the number of sessions at a time with peers with uncontactable ENRs, the lower limit
+being 1. Nodes must accept sessions with at least one peer with a uncontactable ENR to
 for [runtime address discovery] to be enabled on the discv5.2 network.
 
 ### Fault tolerance