From 45a9490b5fe9fcbc101efbdbaa547b097a3e1fdc Mon Sep 17 00:00:00 2001
From: Tim Nelson <tbnelson@gmail.com>
Date: Sun, 14 Jan 2024 11:30:34 -0500
Subject: [PATCH] fix: missed one

---
 forge/tests/forge/expressions/orderOfOpsExprs.rkt | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/forge/tests/forge/expressions/orderOfOpsExprs.rkt b/forge/tests/forge/expressions/orderOfOpsExprs.rkt
index 572d346a7..cd7695b9d 100644
--- a/forge/tests/forge/expressions/orderOfOpsExprs.rkt
+++ b/forge/tests/forge/expressions/orderOfOpsExprs.rkt
@@ -110,43 +110,43 @@ test expect {
 	unionTighterThanNoTheorem : {
 		always ((no Node.edges + Node.fruit) iff (no (Node.edges + Node.fruit)))
 	} is theorem
-	differenceTighterThanNoTheorem : {
+	differenceTighterThanNoSat : {
 		always ((no Node.edges - Node.fruit) iff (no (Node.edges - Node.fruit)))
 	} is sat
 	differenceTighterThanNoTheorem : {
 		always ((no Node.edges - Node.fruit) iff (no (Node.edges - Node.fruit)))
 	} is theorem
-	unionTighterThanSomeTheorem : {
+	unionTighterThanSomeSat : {
 		always ((some Node.edges + Node.fruit) iff (some (Node.edges + Node.fruit)))
 	} is sat
 	unionTighterThanSomeTheorem : {
 		always ((some Node.edges + Node.fruit) iff (some (Node.edges + Node.fruit)))
 	} is theorem
-	differenceTighterThanSomeTheorem : {
+	differenceTighterThanSomeSat : {
 		always ((some Node.edges - Node.fruit) iff (some (Node.edges - Node.fruit)))
 	} is sat
 	differenceTighterThanSomeTheorem : {
 		always ((some Node.edges - Node.fruit) iff (some (Node.edges - Node.fruit)))
 	} is theorem
-	unionTighterThanLoneTheorem : {
+	unionTighterThanLoneSat : {
 		always ((lone Node.edges + Node.fruit) iff (lone (Node.edges + Node.fruit)))
 	} is sat
 	unionTighterThanLoneTheorem : {
 		always ((lone Node.edges + Node.fruit) iff (lone (Node.edges + Node.fruit)))
 	} is theorem
-	differenceTighterThanLoneTheorem : {
+	differenceTighterThanLoneSat : {
 		always ((lone Node.edges - Node.fruit) iff (lone (Node.edges - Node.fruit)))
 	} is sat
 	differenceTighterThanLoneTheorem : {
 		always ((lone Node.edges - Node.fruit) iff (lone (Node.edges - Node.fruit)))
 	} is theorem
-	unionTighterThanOneTheorem : {
+	unionTighterThanOneSat : {
 		always ((one Node.edges + Node.fruit) iff (one (Node.edges + Node.fruit)))
 	} is sat
 	unionTighterThanOneTheorem : {
 		always ((one Node.edges + Node.fruit) iff (one (Node.edges + Node.fruit)))
 	} is theorem
-	differenceTighterThanOneTheorem : {
+	differenceTighterThanOneSat : {
 		always ((one Node.edges - Node.fruit) iff (one (Node.edges - Node.fruit)))
 	} is sat
 	differenceTighterThanOneTheorem : {