diff --git a/3-99 Research/TLA/Untitled.tla b/3-99 Research/TLA/Untitled.tla
index a86c48372..364df6650 100644
--- a/3-99 Research/TLA/Untitled.tla	
+++ b/3-99 Research/TLA/Untitled.tla	
@@ -1,5 +1,12 @@
 ------------------------------ MODULE Untitled ------------------------------
+EXTENDS Naturals
 
+VARIABLE x
+
+Init == x = 0
+Next == x' = x + 1
+
+Spec == Init /\ [][Next]_x
 
 =============================================================================
 \* Modification History
diff --git a/900s Calendars/Personal/Personal - README.md b/900s Calendars/Personal/Personal - README.md
index 92903858a..d9c8c93a0 100644
--- a/900s Calendars/Personal/Personal - README.md	
+++ b/900s Calendars/Personal/Personal - README.md	
@@ -3,6 +3,7 @@
 ## Files
 - [[2025-02-21 Gym.md]]
 - [[2025-02-24 Car Shopping.md]]
+- [[2025-02-24 Fixing Neovim bullshit.md]]
 - [[(Every F) Drive Home.md]]
 - [[(Every F,W,M) Drive In.md]]
 - [[(Every F,W,M) Lunch.md]]