diff --git a/spaces/S000135/properties/P000018.md b/spaces/S000135/properties/P000018.md
deleted file mode 100644
index 0f52211e2..000000000
--- a/spaces/S000135/properties/P000018.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000135
-property: P000018
-value: false
-refs:
-- doi: 10.1007/978-1-4612-6290-9_6
-  name: Counterexamples in Topology
----
-
-See item #4 for space #141 in {{doi:10.1007/978-1-4612-6290-9_6}}.
diff --git a/spaces/S000135/properties/P000029.md b/spaces/S000135/properties/P000029.md
deleted file mode 100644
index c63922697..000000000
--- a/spaces/S000135/properties/P000029.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-space: S000135
-property: P000029
-value: false
-refs:
-- doi: 10.1007/978-1-4612-6290-9_6
-  name: Counterexamples in Topology
----
-
-Asserted in the General Reference Chart for space #141 in
-{{doi:10.1007/978-1-4612-6290-9_6}}.
diff --git a/spaces/S000135/properties/P000198.md b/spaces/S000135/properties/P000198.md
new file mode 100644
index 000000000..c9774cfc4
--- /dev/null
+++ b/spaces/S000135/properties/P000198.md
@@ -0,0 +1,12 @@
+---
+space: S000135
+property: P000198
+value: false
+refs:
+- doi: 10.1007/978-1-4612-6290-9_6
+  name: Counterexamples in Topology
+---
+
+This topology is finer than {S134},
+(cf. item #1 for space #141 in {{doi:10.1007/978-1-4612-6290-9_6}})
+and {S134|P135}.