diff --git a/3-99 Research/TLA/TLA Canvas.canvas b/3-99 Research/TLA/TLA Canvas.canvas
index 28a0c52f8..4f88bea73 100644
--- a/3-99 Research/TLA/TLA Canvas.canvas	
+++ b/3-99 Research/TLA/TLA Canvas.canvas	
@@ -1,6 +1,6 @@
 {
 	"nodes":[
-		{"id":"167f0f0792ba9aa0","x":-300,"y":-500,"width":540,"height":280,"type":"text","text":"What the hell is TLA+?\n\nApparently, it's a formal specification language by Leslie Lamport, who legendarily made $\\LaTeX$. \n\nAlso, apparently it is TLA$^+$. \n"}
+		{"id":"167f0f0792ba9aa0","x":-300,"y":-500,"width":540,"height":180,"type":"text","text":"What the hell is TLA+?\n\nApparently, it's a formal specification language by Leslie Lamport, who legendarily made $\\LaTeX$. \n\nAlso, apparently it is TLA$^+$. It stands for Three Letter Acronym."}
 	],
 	"edges":[]
 }
\ No newline at end of file
diff --git a/3-99 Research/TLA/What is TLA?.md b/3-99 Research/TLA/What is TLA?.md
new file mode 100644
index 000000000..8e1ebe3ba
--- /dev/null
+++ b/3-99 Research/TLA/What is TLA?.md	
@@ -0,0 +1,7 @@
+# History
+TLA$^+$ stands for Three Letter acronym. It was invented by Leslie Lamport, who notably invented $\LaTeX$. TLA+ is a language for writing and checking specifications. It helps to work on system designs, and to show if a system meets specifications. 
+
+There is a nice [learntla](https://learntla.com/intro/faq.html#what-s-tla) website set up by the community, mostly by Hillel Wayne
+
+TLA stands for 'Temporal Logic of Actions'.
+## What's TLA+ good at?