after s N cons X after N XS from X cons X after 0 XS XS 2.2 NaTT certifiable-1.6