State lower bounds explicitly

tips/TIP-0053/tip-0053.md

@@ -11,7 +11,7 @@ created: 2023-11-02
 replaces: 23
 ---
 
-# Abstract
+# Summary
 
 This TIP is a slightly revised version of TIP-23 with updates to IOTA 2.0, like the the type prefix of the _Tagged Data_
 Payload type and its syntactic validation. The payload concept offers a very flexible way to combine and encapsulate
@@ -32,7 +32,7 @@ The following table describes the serialization of a _Tagged Data Payload_ follo
 
 <details>
   <summary>Tagged Data</summary>
-  <blockquote>Data with an optional tag.</blockquote>
+  <blockquote>Optional Data with an optional tag.</blockquote>
 </details>
 <table>
   <tr>
@@ -68,10 +68,8 @@ applications.
 
 ## Syntactic Validation
 
-- The length of the `Tag` must not be larger than `64`.
-- The length of `Data` must not be larger than `8192`.
-- Given the type and length information, the _Tagged Data Payload_ must consume the entire byte array of the `Payload`
-  field of the encapsulating object.
+- The length `Len` of the `Tag` field must satisfy: `0 <= Len <= 64`.
+- The length `Len` of the `Data` field must satisfy: `0 <= Len <= 8192`.
 
 # Rationale