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