cond true x cond odd x p p p x odd 0 false odd s 0 true odd s s x odd x p 0 0 p s x x 2.2 cond true x odd x odd s s x odd x cond true x p x cond true x p p p x cond true x cond odd x p p p x cond true x p p x true cond true x cond odd x p p p x true Failed! NaTT certifiable-1.6