zeros cons 0 n__zeros tail cons X XS activate XS zeros n__zeros activate n__zeros zeros activate X X 2.2 activate n__zeros zeros tail cons X XS activate XS true tail cons X XS activate XS false activate n__zeros zeros false NaTT certifiable-1.6