diff --git a/3-99 Research/TLA/test.tla b/3-99 Research/TLA/test.tla
index e69de29b..1bcd336e 100644
--- a/3-99 Research/TLA/test.tla	
+++ b/3-99 Research/TLA/test.tla	
@@ -0,0 +1,11 @@
+---- MODULE Test ----
+EXTENDS Naturals
+
+VARIABLE x
+
+Init == x = 0
+Next == x' = x + 1
+
+Spec == Init /\ [][Next]_x
+
+====