From 6d0881a69945ba628919631c3bf42b33c39de0a5 Mon Sep 17 00:00:00 2001
From: Patrick Rabau <70125716+prabau@users.noreply.github.com>
Date: Sun, 28 Jun 2026 16:21:34 -0400
Subject: [PATCH 1/2] Some cleanup of CCC traits

---
 spaces/S000013/properties/P000029.md |  7 -------
 spaces/S000014/properties/P000029.md | 10 ----------
 spaces/S000022/properties/P000029.md | 11 -----------
 spaces/S000157/properties/P000029.md |  8 --------
 4 files changed, 36 deletions(-)
 delete mode 100644 spaces/S000013/properties/P000029.md
 delete mode 100644 spaces/S000014/properties/P000029.md
 delete mode 100644 spaces/S000022/properties/P000029.md
 delete mode 100644 spaces/S000157/properties/P000029.md

diff --git a/spaces/S000013/properties/P000029.md b/spaces/S000013/properties/P000029.md
deleted file mode 100644
index d369211019..0000000000
--- a/spaces/S000013/properties/P000029.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000013
-property: P000029
-value: false
----
-
-If $p$ is the excluded point, $ \{ \{x\}\ |\ x \neq p\} $ is an uncountable, pairwise disjoint collection of open sets.
diff --git a/spaces/S000014/properties/P000029.md b/spaces/S000014/properties/P000029.md
deleted file mode 100644
index fadf2b14d0..0000000000
--- a/spaces/S000014/properties/P000029.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000014
-property: P000029
-value: false
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-$\{ \{x\}\ |\ x \neq 0\}$ is an uncountable, pairwise disjoint collection of open sets.
diff --git a/spaces/S000022/properties/P000029.md b/spaces/S000022/properties/P000029.md
deleted file mode 100644
index 8ff1c1aae8..0000000000
--- a/spaces/S000022/properties/P000029.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-space: S000022
-property: P000029
-value: false
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-The singletons $\{x\}$ for $x\ne p$ are open and pairwise disjoint.
-And there are uncountably many of them.
diff --git a/spaces/S000157/properties/P000029.md b/spaces/S000157/properties/P000029.md
deleted file mode 100644
index 07720ba5d9..0000000000
--- a/spaces/S000157/properties/P000029.md
+++ /dev/null
@@ -1,8 +0,0 @@
----
-space: S000157
-property: P000029
-value: false
----
-
-The singletons $\{x\}$ for $x\ne p$ are open and pairwise disjoint.
-And there are uncountably many of them.

From 4913924eee88cf258711cf1f1a8c415cd7165d70 Mon Sep 17 00:00:00 2001
From: Patrick Rabau <70125716+prabau@users.noreply.github.com>
Date: Sun, 28 Jun 2026 16:23:29 -0400
Subject: [PATCH 2/2] one more

---
 spaces/S000133/properties/P000029.md | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 spaces/S000133/properties/P000029.md

diff --git a/spaces/S000133/properties/P000029.md b/spaces/S000133/properties/P000029.md
deleted file mode 100644
index 03e863c921..0000000000
--- a/spaces/S000133/properties/P000029.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000133
-property: P000029
-value: false
----
-
-The set $\{\{x\}\mid x\ne p\}$ is an uncountable collection of disjoint open sets.