remove a paragraph on installation network, and remove extra "the"

draft-ietf-anima-constrained-join-proxy.md

@@ -139,8 +139,8 @@ Two modes of the constrained Join Proxy are specified:
       IP addresses (link-local with interface and non-link-local and UDP port-numbers)
       during the connection.
 
-    2 A stateless Join Proxy where the connection the state
-      is placed into a new header in the
+    2 A stateless Join Proxy where the connection state
+      is replaced by a new proxy header in the
       UDP messages between constrained Join Proxy and Registrar.
 
 
@@ -164,8 +164,6 @@ Registrar/Coordinator (JRC), Pledge, and Voucher.
 In this document, the term "Registrar" is used throughout instead of "Join
 Registrar/Coordinator (JRC)".
 
-The term "installation network" refers to all devices in the installation and the network connections between them. The term "installation IP_address" refers to an address out of the set of addresses which are routable over the whole installation network.
-
 The term "installation" refers to all devices in the network and their interconnections, including Registrar, enrolled nodes with and without constrained Join Proxy functionality and Pledges.
 
 (Installation) IP addresses are assumed to be routeable over the whole installation network except for link-local IP addresses.