diff --git a/conjure_oxide/arithmetic/mul-add-distribute/input.eprime b/conjure_oxide/arithmetic/mul-add-distribute/input.eprime
new file mode 100644
index 000000000..32b5f586e
--- /dev/null
+++ b/conjure_oxide/arithmetic/mul-add-distribute/input.eprime
@@ -0,0 +1,8 @@
+language ESSENCE' 1.0
+
+find x,y,z: int(1..10)
+
+such that
+x * (y + z) = (x * y) + (x * z)
+
+
diff --git a/conjure_oxide/tests/integration/eprime-minion/arithmetic/mul-add-distributivity-1/input.eprime.disabled b/conjure_oxide/tests/integration/eprime-minion/arithmetic/mul-add-distributivity-1/input.eprime.disabled
new file mode 100644
index 000000000..0f23223d7
--- /dev/null
+++ b/conjure_oxide/tests/integration/eprime-minion/arithmetic/mul-add-distributivity-1/input.eprime.disabled
@@ -0,0 +1,7 @@
+language ESSENCE' 1.0
+
+find x,y,z: int(2..100)
+
+such that 
+x * ( y + z) = (x * y) + (x * z),
+allDiff([x,y,z])
diff --git a/conjure_oxide/tests/integration/eprime-minion/arithmetic/send-more-money/input.eprime.disabled b/conjure_oxide/tests/integration/eprime-minion/arithmetic/send-more-money/input.eprime.disabled
new file mode 100644
index 000000000..8d7e243d8
--- /dev/null
+++ b/conjure_oxide/tests/integration/eprime-minion/arithmetic/send-more-money/input.eprime.disabled
@@ -0,0 +1,14 @@
+language ESSENCE' 1.0
+
+find s: int(1..9)
+find e: int(1..9)
+find n: int(1..9)
+find d: int(1..9)
+find m: int(1..9) $ m !=0
+find o: int(1..9)
+find r: int(1..9)
+find y: int(1..9)
+
+such that
+  (s * e * n * d) + (m * o * r * e) = m * o * n * e * y
+
diff --git a/tools/test-summary.sh b/tools/test-summary.sh
index 19ff0dbfb..d6b579d2e 100755
--- a/tools/test-summary.sh
+++ b/tools/test-summary.sh
@@ -55,6 +55,6 @@ echo ""
     echo -e "$test, \033[0;33m$test , disabled \033[0m\n"
   done
   for test in $DISABLED_EPRIME_TESTS; do
-    echo -e "$ test, \033[0;33m$test , disabled \033[0m\n"
+    echo -e "$test, \033[0;33m$test , disabled \033[0m\n"
   done
 } | sort -k1 -t, | cut -d, -f 2,3 | column -t -s,