a a delta x y a y a x y 2.2 a a delta x y a x y a a delta x y a y a x y true a a delta x y a y a x y a a delta x y a x y true Failed! NaTT certifiable-1.6