define the semantic meaning of lists

1 files changed, 3 insertions, 1 deletions

diff --git a/readme.md b/readme.md
index 6291cc0..6374454 100644
--- a/readme.md
+++ b/readme.md
@@ -58,7 +58,9 @@ g>:f
 ```
 
 ## lists
-a list is a special type of noun. they contain any amount of nouns in a specific order, including lists themselves. certain operators expect lists as operands. if a nonlist is passed to these operators, then the operand is treated as a list with that noun as its only element. lists can be composed with the `,` operator. it is similar to a "cons" operation. it appends the first operand to the second operand, which is assumed to be a list. lists exist unconditionally.
+a list is a special type of noun. they contain any amount of nouns in a specific order, including lists themselves. certain operators expect lists as operands. if a nonlist is passed to these operators, then the operand is treated as a list with that noun as its only element. lists can be composed with the `,` operator. it is similar to a "cons" operation. it appends the first operand to the second operand, which is assumed to be a list.
+
+lists can be interpreted semantically as meaning all of its elements in order. for example, the sentence `A,B,C` means that there exists `A`, then `B`, then `C`, which indicates that they happen in order.
 
 ## operator side-effects
 some operators have **side-effects** which means that