minus minus x x minus h x h minus x minus f x y f minus y minus x 2.2 minus f x y minus y minus f x y minus x minus h x minus x true minus h x minus x minus f x y minus x minus f x y minus y true h 1 1 1 minus 1 0 f 2 1 2 1 minus 1 1 0 NaTT certifiable-1.6