diff --git a/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md b/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md
index 8c6933c9..ca71b8e8 100644
--- a/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md	
+++ b/4 Qualifying Exam/1 Managing Stuff/0. QE To Do List.md	
@@ -17,7 +17,8 @@
 	- It's an optimal controls problem. Has to do with the cost function of the input. Not exactly a robust control thing in itself, but you might be looking at how to minimize the cost robustly.
 - [ ] Read Mu Synthesis 📅 2024-11-04 
 # New (Finishing Written)
-- [ ] Finish writing a little more about formal methods
+- [x] Finish writing a little more about formal methods ✅ 2024-11-11
+	- I just chopped it. It doesn't really make sense in our context.
 - [ ] Write metrics of success
 	- This can basically be objectives - then measuring success
 	- Talk about filling the disk of uncertainty