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 d5b930afb..de04f7442 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	
@@ -5,4 +5,8 @@ Science is what is usually heralded as the truth in our society. It is understan
 
 Engineering is a step on top of science. Engineering is *creating* with science's foundation. It is building new things with support from science to tell you that it's going to work. 
 
+
+
 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.