%3 cons0 · cons1 · cons0--cons1 a a cons0--a cons2 · cons1--cons2 b b cons1--b empty [ ] cons2--empty c c cons2--c