List Abstraction
lIn an abstract sense, what matters most in a list is the order of the elements.
 
lWe donŐt have to say how the list is represented in the machine.

lWe can just agree on some presentation or notation that shows this order, e.g.
l[a, b, c, d]