diff --git a/properties/P000219.md b/properties/P000219.md
new file mode 100644
index 000000000..20f82f96b
--- /dev/null
+++ b/properties/P000219.md
@@ -0,0 +1,13 @@
+---
+uid: P000219
+name: Toronto
+refs:
+  - wikipedia: Toronto_space
+    name: Toronto space on Wikipedia
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$.
+
+In {{zb:1286.54032}} it is shown that under GCH, every {P3} Toronto space is {P52}.
diff --git a/theorems/T000905.md b/theorems/T000905.md
new file mode 100644
index 000000000..8cccedee8
--- /dev/null
+++ b/theorems/T000905.md
@@ -0,0 +1,9 @@
+---
+uid: T000905
+if:
+  P000078: true
+then:
+  P000219: true
+---
+
+For a finite space $X$, the only subspace with the same cardinality is $X$ itself, which is trivally homeomorphic to $X$.
diff --git a/theorems/T000906.md b/theorems/T000906.md
new file mode 100644
index 000000000..3b5250a42
--- /dev/null
+++ b/theorems/T000906.md
@@ -0,0 +1,9 @@
+---
+uid: T000906
+if:
+  P000052: true
+then:
+  P000219: true
+---
+
+Let $Y\subseteq X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.
diff --git a/theorems/T000907.md b/theorems/T000907.md
new file mode 100644
index 000000000..e7e326dcb
--- /dev/null
+++ b/theorems/T000907.md
@@ -0,0 +1,9 @@
+---
+uid: T000907
+if:
+  P000222: true
+then:
+  P000219: true
+---
+
+Let $Y\subset X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.
diff --git a/theorems/T000908.md b/theorems/T000908.md
new file mode 100644
index 000000000..29e3ce8af
--- /dev/null
+++ b/theorems/T000908.md
@@ -0,0 +1,9 @@
+---
+uid: T000908
+if:
+  P000129: true
+then:
+  P000219: true
+---
+
+Let $Y\subset X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.
diff --git a/theorems/T000909.md b/theorems/T000909.md
new file mode 100644
index 000000000..e6c1e8a9b
--- /dev/null
+++ b/theorems/T000909.md
@@ -0,0 +1,12 @@
+---
+uid: T000909
+if:
+  and:
+  - P000219: true
+  - P000204: true
+then:
+  P000078: true
+---
+
+Let $p$ be a cut point of $X$. If $X$ were infinite, $|X\setminus \{p\}|=|X|$, but they cannot be homeomorphic as $X$ is {P36} but $X \setminus \{p\}$ is not.
+ 
\ No newline at end of file
diff --git a/theorems/T000910.md b/theorems/T000910.md
new file mode 100644
index 000000000..b30275214
--- /dev/null
+++ b/theorems/T000910.md
@@ -0,0 +1,16 @@
+---
+uid: T000910
+if:
+  and:
+  - P000219: true
+  - P000196: false
+  - P000129: false
+  - P000078: false
+then:
+  P000002: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Follows from Theorem 6.1 in {{zb:1286.54032}}.
diff --git a/theorems/T000911.md b/theorems/T000911.md
new file mode 100644
index 000000000..b00527b89
--- /dev/null
+++ b/theorems/T000911.md
@@ -0,0 +1,17 @@
+---
+uid: T000911
+if:
+  and:
+  - P000219: true
+  - P000181: true
+  - P000129: false
+  - P000052: false
+  - P000222: false
+then:
+  P000196: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Follows from Corollary 6.2 in {{zb:1286.54032}}.
diff --git a/theorems/T000912.md b/theorems/T000912.md
new file mode 100644
index 000000000..2f88779ac
--- /dev/null
+++ b/theorems/T000912.md
@@ -0,0 +1,14 @@
+---
+uid: T000912
+if:
+  and:
+  - P000219: true
+  - P000003: true
+then:
+  P000167: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Immediate consequence of Theorem 3.1 in {{zb:1286.54032}}.
diff --git a/theorems/T000913.md b/theorems/T000913.md
new file mode 100644
index 000000000..7cc3de723
--- /dev/null
+++ b/theorems/T000913.md
@@ -0,0 +1,14 @@
+---
+uid: T000913
+if:
+  and:
+  - P000219: true
+  - P000003: true
+then:
+  P000093: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+See the proof of Corollary 3.4 in {{zb:1286.54032}}.
diff --git a/theorems/T000914.md b/theorems/T000914.md
new file mode 100644
index 000000000..50caa2dc2
--- /dev/null
+++ b/theorems/T000914.md
@@ -0,0 +1,15 @@
+---
+uid: T000914
+if:
+  and:
+  - P000219: true
+  - P000136: false
+  - P000003: true
+then:
+  P000052: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+See Corollary 3.5 in {{zb:1286.54032}}.
diff --git a/theorems/T000918.md b/theorems/T000918.md
new file mode 100644
index 000000000..d1305032d
--- /dev/null
+++ b/theorems/T000918.md
@@ -0,0 +1,15 @@
+---
+uid: T000918
+if:
+  and:
+  - P000219: true
+  - P000180: false
+  - P000003: true
+then:
+  P000052: true
+refs:
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+See Proposition 2.3 in {{zb:1286.54032}}.