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