Correct session table entry

Author: emhane

discv5/discv5-theory.md

@@ -537,10 +537,10 @@ containers, these are abbreviated in the sequence diagram below as follows:
 ```mermaid
     sequenceDiagram
         Relay-->>Alice: m(NODES[Bob's ENR])
-        Alice->>Bob: m(nonce,FINDNODE)
+        Alice->Bob: m(nonce,FINDNODE)
         Note left of Alice:Hole punched in Alice's NAT for Bob
-        Alice->>Relay: n(RELAYINIT[nonce])
-        Relay->>Bob:n(RELAYMSG[nonce])
+        Alice->Relay: n(RELAYINIT[nonce])
+        Relay->Bob:n(RELAYMSG[nonce])
         Bob-->>Alice: whoareyou(nonce)
         Note right of Bob: Hole punched in Bob's NAT for Alice
 ```
@@ -549,9 +549,8 @@ Bob is behind a NAT. Bob is in Relay's kbuckets, they have a session together.
 As part of a periodic recursive query to fill its kbuckets, Alice sends a FINDNODE
 request to Bob, who's ENR it received from Relay. By making an outgoing request to
 Bob, if Alice is behind a NAT, Alice's NAT adds the filtering rule
-`(Alice's-LAN-ip, Alice's-LAN-port, Bob's-WAN-ip, Bob's-WAN-port)`[^1] to it's UDP table.
-The request to Bob times out as Bob is behind a NAT.
-
+`(Alice's-LAN-ip, Alice's-LAN-port, Bob's-WAN-ip, Bob's-WAN-port, entry-lifetime)` to
+it's UDP session table [^1^2]. The request to Bob times out as Bob is behind a NAT.
 
 
 [EIP-778]: ../enr.md
@@ -565,3 +564,4 @@ The request to Bob times out as Bob is behind a NAT.
 [REGCONFIRMATION]: ./discv5-wire.md#regconfirmation-response-0x09
 [TOPICQUERY]: ./discv5-wire.md#topicquery-request-0x0a
 [^1]: https://datatracker.ietf.org/doc/html/rfc4787
+[^2]: https://www.ietf.org/rfc/rfc6146.txt