list tests are passing

nesting, well-formedness