diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md
index c147cff93..f38b5b887 100644
--- a/1 Daily Notes/2025/2025-02-17.md	
+++ b/1 Daily Notes/2025/2025-02-17.md	
@@ -17,4 +17,5 @@ sort by urgency
 group by tags
 ```
 
-# Calendar Tasks
\ No newline at end of file
+# Calendar Tasks
+-  LEAN Learning Plan [startTime:: 09:00]  [endTime:: 09:30]
\ No newline at end of file
diff --git a/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md b/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md
index 35ed1a951..d3ed4da53 100644
--- a/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md	
+++ b/2 Cole Group Meeting Notes/Weekly Note 2025-02-11.md	
@@ -46,4 +46,4 @@ tags: []
 
 - [x] Make a Haskell Learning Plan #Haskell ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
 - [x] Make a Rust Learning Plan #Rust ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
-- [ ] Make a Lean Learning Plan 📅 2025-02-12 ⏳ 2025-02-12 #LEAN 
+- [<] Make a Lean Learning Plan #LEAN ⏳ 2025-02-12 📅 2025-02-12
diff --git a/5 Thesis/Things to Do.md b/5 Thesis/Things to Do.md
index bd5bdb4b5..f5d8f38b8 100644
--- a/5 Thesis/Things to Do.md	
+++ b/5 Thesis/Things to Do.md	
@@ -1,6 +1,6 @@
 Follow up tasks:
 - [-] What is the state of the art for wireless control? #Thesis ❌ 2025-01-24
-- [ ] What has happened so far with verifying assembly code? #Thesis 🔽 ⏳ 2025-01-29 📅 2025-02-06
+- [<] What has happened so far with verifying assembly code? #Thesis 🔽 ⏳ 2025-01-29 📅 2025-02-06
 - [ ] How does Rust compile into binary? #Thesis ⏳ 2025-01-28 📅 2025-02-11
 ```dataview
 task