ExampleDB: cons -> non-empty