plus plus X Y Z plus X plus Y Z times X s Y plus X times Y X 2.2 times X s Y times Y X plus plus X Y Z plus X plus Y Z times X s Y plus X times Y X plus plus X Y Z plus Y Z true times X s Y times Y X true s 1 1 1 plus 2 0 times 2 1 2 0 times 2 0 plus 2 0 times X s Y plus X times Y X false plus plus X Y Z plus Y Z plus plus X Y Z plus X plus Y Z true s 1 1 plus 2 1 0 times 2 0 times 2 0 plus 2 1 2 1 NaTT certifiable-1.6