diff --git a/spaces/S000171/README.md b/spaces/S000171/README.md
index eef348b0c4..5fcead035c 100644
--- a/spaces/S000171/README.md
+++ b/spaces/S000171/README.md
@@ -1,10 +1,17 @@
 ---
 uid: S000171
-name: Brian's Example
+name: Brian's stack of Bernstein sets
 refs:
   - mo: 416331
     name: Example of an uncountable scattered space with some properties
+  - wikipedia: Bernstein_set
+    name: Bernstein set on Wikipedia
 ---
 
-In {{mo:416331}} Will Brian provides an example in ZFC for an uncountable, Hausdorff,
+Let $X = \mathbb{R}$ and let $(X_i)_{i\in \omega}$ be a partition of $X$ into [Bernstein sets](https://en.wikipedia.org/wiki/Bernstein_set) (for the Euclidean topology).
+Given some $x \in X$, there is a unique $n \in \omega$ such that $x \in X_n$. Then $\{x\} \cup (U \cap \bigcup_{i<n}X_i)$, with $U \subseteq X$ with $U$ open in the usual topology, form a neighbourhood basis for $x$.
+
+This topology in finer than {S25}.
+
+This space was constructed in {{mo:416331}} by Will Brian, providing an example in ZFC for an uncountable, Hausdorff,
 first-countable, scattered, Lindelöf space.
diff --git a/spaces/S000171/properties/P000022.md b/spaces/S000171/properties/P000022.md
new file mode 100644
index 0000000000..2fac9905c8
--- /dev/null
+++ b/spaces/S000171/properties/P000022.md
@@ -0,0 +1,7 @@
+---
+space: S000171
+property: P000022
+value: false
+---
+
+This topology refines {S25}, therefore the identity to $\mathbb{R}$ is continuous and unbounded.