diff --git a/databases/catdat/data/category-implications/products.yaml b/databases/catdat/data/category-implications/products.yaml
index 1182b2c3..f2b5bb2b 100644
--- a/databases/catdat/data/category-implications/products.yaml
+++ b/databases/catdat/data/category-implications/products.yaml
@@ -5,7 +5,6 @@
     - products
   conclusions:
     - countable products
-    - finite products
     - powers
   reason: This is trivial.
   is_equivalence: false
diff --git a/src/routes/category-property/[id]/+page.server.ts b/src/routes/category-property/[id]/+page.server.ts
index 5cd6461c..2c0cd304 100644
--- a/src/routes/category-property/[id]/+page.server.ts
+++ b/src/routes/category-property/[id]/+page.server.ts
@@ -100,6 +100,12 @@ export const load = async (event) => {
 
 	const relevant_implications = relevant_implications_db.map(display_implication)
 
+	for (const impl of relevant_implications) {
+		if (!impl.is_equivalence && impl.conclusions.includes(id)) {
+			impl.conclusions = [id]
+		}
+	}
+
 	return render_nested_formulas({
 		property,
 		related_properties,