h true x y h gt x y s x s y gt 0 x false gt s x 0 true gt s x s y gt x y 2.2 h true x y gt x y gt s x s y gt x y h true x y h gt x y s x s y true h true x y h gt x y s x s y true Failed! NaTT certifiable-1.6