From a0359eab7844216cc88a97997de6dc0e8ca1678e Mon Sep 17 00:00:00 2001
From: Moniker1998 <adamcz98333@gmail.com>
Date: Tue, 16 Dec 2025 18:42:49 +0100
Subject: [PATCH 1/3] Added tightness, removed spread

---
 spaces/S000108/properties/P000081.md | 11 +++++++++++
 spaces/S000108/properties/P000197.md |  7 -------
 spaces/S000109/properties/P000081.md | 10 ++++++++++
 3 files changed, 21 insertions(+), 7 deletions(-)
 create mode 100644 spaces/S000108/properties/P000081.md
 delete mode 100644 spaces/S000108/properties/P000197.md
 create mode 100644 spaces/S000109/properties/P000081.md

diff --git a/spaces/S000108/properties/P000081.md b/spaces/S000108/properties/P000081.md
new file mode 100644
index 000000000..590665808
--- /dev/null
+++ b/spaces/S000108/properties/P000081.md
@@ -0,0 +1,11 @@
+---
+space: S000108
+property: P000081
+value: false
+refs:
+  - mo: 505981
+    name: Tightness of Novak space
+---
+
+It has {S109} as a subspace and {S109|P81}. 
+In fact $t(\beta\omega) = \mathfrak{c}$ (compare with {{mo:505981}}).
diff --git a/spaces/S000108/properties/P000197.md b/spaces/S000108/properties/P000197.md
deleted file mode 100644
index 748858c2a..000000000
--- a/spaces/S000108/properties/P000197.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000108
-property: P000197
-value: false
----
-
-It has {S109} as a subspace and {S109|P197}.
diff --git a/spaces/S000109/properties/P000081.md b/spaces/S000109/properties/P000081.md
new file mode 100644
index 000000000..9bde58b78
--- /dev/null
+++ b/spaces/S000109/properties/P000081.md
@@ -0,0 +1,10 @@
+---
+space: S000109
+property: P000081
+value: false
+refs:
+  - mo: 505981
+    name: Tightness of Novak space
+---
+
+One has $t(X) = \mathfrak{c}$, see {{mo:505981}}.

From 5e0ecddb6bedbade94179d97cfe90b394eb1e024 Mon Sep 17 00:00:00 2001
From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com>
Date: Sat, 3 Jan 2026 17:34:08 +0100
Subject: [PATCH 2/3] Update P000081.md

---
 spaces/S000108/properties/P000081.md | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/spaces/S000108/properties/P000081.md b/spaces/S000108/properties/P000081.md
index 590665808..66952e65d 100644
--- a/spaces/S000108/properties/P000081.md
+++ b/spaces/S000108/properties/P000081.md
@@ -2,10 +2,6 @@
 space: S000108
 property: P000081
 value: false
-refs:
-  - mo: 505981
-    name: Tightness of Novak space
 ---
 
 It has {S109} as a subspace and {S109|P81}. 
-In fact $t(\beta\omega) = \mathfrak{c}$ (compare with {{mo:505981}}).

From 7e835cec49cea87236ec21bbb34f23c642e8e16e Mon Sep 17 00:00:00 2001
From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com>
Date: Sat, 3 Jan 2026 17:34:46 +0100
Subject: [PATCH 3/3] Update P000081.md

---
 spaces/S000109/properties/P000081.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spaces/S000109/properties/P000081.md b/spaces/S000109/properties/P000081.md
index 9bde58b78..145ab2a6d 100644
--- a/spaces/S000109/properties/P000081.md
+++ b/spaces/S000109/properties/P000081.md
@@ -7,4 +7,4 @@ refs:
     name: Tightness of Novak space
 ---
 
-One has $t(X) = \mathfrak{c}$, see {{mo:505981}}.
+$X$ has uncountable tightness, see {{mo:505981}}.