diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md
index e2ee4726..73b618b1 100644
--- a/3-99 Research/TLA/TLA - README.md	
+++ b/3-99 Research/TLA/TLA - README.md	
@@ -2,12 +2,14 @@
 
 ## Subdirectories
 - [[states/states - README]]
+- [[Untitled.toolbox/Untitled.toolbox - README]]
 
 ## Files
 - [[Test.cfg]]
 - [[Test.tla]]
 - [[TLA Canvas.canvas]]
 - [[Untitled.md]]
+- [[Untitled.tla]]
 - [[What is TLA?.md]]
 - [[What the hell is liveness?.md]]
 
diff --git a/3-99 Research/TLA/Untitled.tla b/3-99 Research/TLA/Untitled.tla
new file mode 100644
index 00000000..a86c4837
--- /dev/null
+++ b/3-99 Research/TLA/Untitled.tla	
@@ -0,0 +1,6 @@
+------------------------------ MODULE Untitled ------------------------------
+
+
+=============================================================================
+\* Modification History
+\* Created Sun Feb 23 19:24:27 EST 2025 by danesabo
diff --git a/3-99 Research/TLA/Untitled.toolbox/.project b/3-99 Research/TLA/Untitled.toolbox/.project
new file mode 100644
index 00000000..864d7eb3
--- /dev/null
+++ b/3-99 Research/TLA/Untitled.toolbox/.project	
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>Untitled</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>toolbox.builder.TLAParserBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>toolbox.natures.TLANature</nature>
+	</natures>
+	<linkedResources>
+		<link>
+			<name>Untitled.tla</name>
+			<type>1</type>
+			<locationURI>PARENT-1-PROJECT_LOC/Untitled.tla</locationURI>
+		</link>
+	</linkedResources>
+</projectDescription>
diff --git a/3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs b/3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs
new file mode 100644
index 00000000..36bbe6f1
--- /dev/null
+++ b/3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs	
@@ -0,0 +1,2 @@
+ProjectRootFile=PARENT-1-PROJECT_LOC/Untitled.tla
+eclipse.preferences.version=1