numbers d 0 d x if le x nr x if true x cons x d s x if false x nil le 0 y true le s x 0 false le s x s y le x y nr ack s s s s s s 0 0 ack 0 x s x ack s x 0 ack x s 0 ack s x s y ack x ack s x y 2.2 d x le x nr le s x s y le x y numbers d 0 ack s x 0 ack x s 0 nr ack s s s s s s 0 0 ack s x s y ack s x y d x nr d x if le x nr x if true x d s x ack s x s y ack x ack s x y true numbers d 0 false if true x d s x d x if le x nr x true Failed! NaTT certifiable-1.6