+ X 0 X + X s Y s + X Y double X + X X f 0 s 0 X f X double X X g X Y X g X Y Y 2.2 double X + X X f 0 s 0 X f X double X X + X s Y + X Y f 0 s 0 X double X true f 0 s 0 X f X double X X true Failed! NaTT certifiable-1.6