cond true x cond odd x 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 cond true x p x cond true x cond odd x p x odd s s x odd x true cond true x cond odd x p x true Failed! NaTT certifiable-1.6