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