diff --git a/spaces/S000056/properties/P000036.md b/spaces/S000056/properties/P000036.md
deleted file mode 100644
index 7b46ad706..000000000
--- a/spaces/S000056/properties/P000036.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-space: S000056
-property: P000036
-value: true
-refs:
-- doi: 10.1007/978-1-4612-6290-9_6
-  name: Counterexamples in Topology
----
-
-Asserted in the General Reference Chart for space #64 in
-{{doi:10.1007/978-1-4612-6290-9_6}}.
diff --git a/spaces/S000056/properties/P000037.md b/spaces/S000056/properties/P000037.md
index 2f2e88d6f..307d00fe7 100644
--- a/spaces/S000056/properties/P000037.md
+++ b/spaces/S000056/properties/P000037.md
@@ -3,9 +3,8 @@ space: S000056
 property: P000037
 value: false
 refs:
-- doi: 10.1007/978-1-4612-6290-9_6
-  name: Counterexamples in Topology
+- mathse: 2960540
+  name: Please clarify proof that $\mathbb{R}_K$ is not path connected.
 ---
 
-Asserted in the General Reference Chart for space #64 in
-{{doi:10.1007/978-1-4612-6290-9_6}}.
+See {{mathse:2960540}}.
diff --git a/spaces/S000056/properties/P000189.md b/spaces/S000056/properties/P000189.md
new file mode 100644
index 000000000..4612ad114
--- /dev/null
+++ b/spaces/S000056/properties/P000189.md
@@ -0,0 +1,10 @@
+---
+space: S000056
+property: P000189
+value: true
+refs:
+- mathse: 4975686
+  name: $\sigma$-connected spaces and path-connected property
+---
+
+See discussion at {{mathse:4975686}}.