nats adx zeros zeros cons 0 zeros incr cons X Y cons s X incr Y adx cons X Y incr cons X adx Y hd cons X Y X tl cons X Y Y 2.2 incr cons X Y incr Y adx cons X Y adx Y adx cons X Y incr cons X adx Y nats adx zeros zeros zeros nats zeros true nats zeros false zeros zeros true Failed! NaTT certifiable-1.6