zeros cons 0 n__zeros and tt X activate X length nil 0 length cons N L s length activate L zeros n__zeros activate n__zeros zeros activate X X 2.2 activate n__zeros zeros length cons N L length activate L and tt X activate X length cons N L activate L true and tt X activate X false length cons N L length activate L true Failed! NaTT certifiable-1.6