and tt X length cons N s length L zeros cons 0 length nil 0 2.2 NaTT certifiable-1.6