filter cons X 0 M cons 0 filter cons X s N M cons X sieve cons 0 cons 0 sieve cons s N cons s N nats N cons N zprimes sieve nats s s 0 2.2 zprimes nats s s 0 zprimes sieve nats s s 0 true zprimes sieve nats s s 0 false zprimes nats s s 0 false NaTT certifiable-1.6