kc3-lang/kc3

diff --git a/README.md b/README.md
index 7180917..73e7fcb 100644
--- a/README.md
+++ b/README.md
@@ -220,18 +220,18 @@ Script interpreter. Works the same as ic3 but is not interactive.
 ### Lists are now marked with brackets `[]`
 
 Regular lists can be :
- - an element and a list : `[element | list]`
- - multiple elements : `[e0, e1, e2]`
- - multiple elements and a list : `[e0, e1, e2 | list]`
+ - an element and a list : `[1 | [2]]`
+ - multiple elements : `[1, 2, 3]`
+ - multiple elements and a list : `[1, 2 | [3, 4]]`
  - the empty list : `[]`
 
-Regular lists end with the empty list : `[e0] == [e0 | []]`.
+Regular lists end with the empty list : `[1] == [1 | []]`.
 
 You can also contruct dotted lists like in Common Lisp where
-the next list pointer is a arbitrary form. E.g. :
- - an element and an element : `[e0 | e1]`
- - multiple elements and an element : `[e0, e1, e2 | e3]`
- - the empty list and an element : `[[], element]`
+the next list pointer is an arbitrary form. E.g. :
+ - an element and an element : `[1 | 2]`
+ - multiple elements and an element : `[1, 2, 3 | 4]`
+ - the empty list and an element : `[[] | 1]`
 
 All these list formats are supported in pattern matching.