minus X 0 X minus s X s Y p minus X Y p s X X div 0 s Y 0 div s X s Y s div minus X Y s Y 2.2 minus s X s Y minus X Y div s X s Y div minus X Y s Y minus s X s Y p minus X Y div s X s Y minus X Y true div s X s Y div minus X Y s Y true div 2 1 0 s 1 1 2 minus 2 1 1 div 2 0 p 1 0 p 1 1 0 0 0 1 minus 2 0 minus X 0 X p s X X minus s X s Y p minus X Y div s X s Y minus X Y false minus s X s Y minus X Y true div 2 1 0 s 1 1 2 minus 2 1 1 div 2 0 p 1 0 p 1 1 0 0 0 1 minus 2 1 2 0 minus X 0 X p s X X minus s X s Y p minus X Y minus s X s Y p minus X Y false NaTT certifiable-1.6