minus
minus
x
x
minux
+
x
y
+
minus
y
minus
x
+
minus
x
+
x
y
y
+
+
x
y
minus
y
x
2.2
minux
+
x
y
minus
y
minux
+
x
y
minus
x
minux
+
x
y
+
minus
y
minus
x
true
minux
+
x
y
+
minus
y
minus
x
false
minux
+
x
y
minus
x
false
minux
+
x
y
minus
y
false
NaTT
certifiable-1.6