f true x y f gt x y s x s s y gt 0 v false gt s u 0 true gt s u s v gt u v 2.2 f true x y gt x y gt s u s v gt u v f true x y f gt x y s x s s y true f true x y f gt x y s x s s y true Failed! NaTT certifiable-1.6