diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md
index de04f744..7499182c 100644
--- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md	
+++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-02-18 Boyd Talk.md	
@@ -7,6 +7,6 @@ Engineering is a step on top of science. Engineering is *creating* with science'
 
 
 
-Innovators dilemma. An interesting book that discusses, well, the innovators dilemma.
+- [ ] Innovators dilemma. An interesting book that discusses, well, the innovators dilemma.
 
-Look up Pancake. Language that is good for drivers but also easy to distill proofs.
+- [ ] Look up Pancake. Language that is good for drivers but also easy to distill proofs.