diff --git a/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas b/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas
index 7ba5cafa0..be01c0d48 100644
--- a/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas
+++ b/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas
@@ -1,8 +1,8 @@
 {
 	"nodes":[
 		{"id":"aed191c3719f280b","x":-500,"y":520,"width":250,"height":60,"type":"text","text":"Discrete automata"},
-		{"id":"5ca8709465aa1eb8","x":-945,"y":550,"width":400,"height":375,"type":"file","file":"Zettelkasten/Permanent Notes/20250821123741-syntcomp.md"},
-		{"id":"e9c5745032b1dd06","x":-1360,"y":470,"width":340,"height":400,"type":"file","file":"Zettelkasten/Permanent Notes/20250819103208-strix.md"},
+		{"id":"5ca8709465aa1eb8","x":-945,"y":550,"width":400,"height":375,"color":"4","type":"file","file":"Zettelkasten/Permanent Notes/20250821123741-syntcomp.md"},
+		{"id":"e9c5745032b1dd06","x":-1360,"y":470,"width":340,"height":400,"color":"4","type":"file","file":"Zettelkasten/Permanent Notes/20250819103208-strix.md"},
 		{"id":"a54ef0f53d23c989","x":-995,"y":-620,"width":675,"height":80,"type":"text","text":"# WHAT BELONGS IN THE RESEARCH APPROACH?"},
 		{"id":"0124a70ed7d9dde1","x":-995,"y":-500,"width":250,"height":60,"type":"text","text":"What is the problem?"},
 		{"id":"94ace1bf38c73a00","x":-670,"y":-500,"width":230,"height":60,"type":"text","text":"We want to automote complex systems"},
@@ -10,15 +10,17 @@
 		{"id":"af23f539c0d2c8a8","x":-995,"y":-400,"width":250,"height":60,"type":"text","text":"We can leverage prescriptive procedures for this"},
 		{"id":"3d90877135704e66","x":-995,"y":-270,"width":250,"height":60,"type":"text","text":"translation of procedures"},
 		{"id":"89aac0a009838655","x":-50,"y":-500,"width":250,"height":60,"color":"1","type":"text","text":"We're doing this needing guarantees of behavior"},
-		{"id":"5467e220d316b68e","x":-50,"y":-340,"width":250,"height":60,"color":"4","type":"text","text":"Formal Methods"},
+		{"id":"5467e220d316b68e","x":-50,"y":-340,"width":250,"height":60,"color":"5","type":"text","text":"Formal Methods"},
 		{"id":"47816cf87b1f4d37","x":-489,"y":330,"width":250,"height":60,"type":"text","text":"Reactive Synthesis"},
 		{"id":"1f085c02451b41bf","x":-100,"y":640,"width":250,"height":60,"type":"text","text":"Continuous systems as transitions"},
 		{"id":"7e9c528ccdb4a1d3","x":-100,"y":500,"width":250,"height":60,"type":"text","text":"Guard conditions between switching"},
-		{"id":"04df937be9ee9d65","x":280,"y":520,"width":250,"height":60,"type":"text","text":"Reachability / Barrier certificates"},
-		{"id":"40c1a6ca6bb2a079","x":500,"y":160,"width":250,"height":60,"type":"text","text":"Emerson Ovation buildout"},
 		{"id":"cb089746088729eb","x":200,"y":-110,"width":250,"height":60,"color":"3","type":"text","text":"Automated translation?"},
 		{"id":"80d6b5c2f79c7f50","x":-632,"y":-270,"width":250,"height":60,"type":"text","text":"FRET"},
-		{"id":"a5e0333a1fd97c8e","x":-670,"y":-140,"width":325,"height":270,"type":"file","file":"Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md"}
+		{"id":"a5e0333a1fd97c8e","x":-670,"y":-140,"width":325,"height":270,"type":"file","file":"Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md"},
+		{"id":"04df937be9ee9d65","x":280,"y":460,"width":250,"height":60,"type":"text","text":"Reachability / Barrier certificates"},
+		{"id":"d10e5739a9b02d59","x":500,"y":738,"width":250,"height":60,"color":"3","type":"text","text":"Can this checking be done automatically?"},
+		{"id":"92b9577c4ad80dfb","x":375,"y":603,"width":250,"height":67,"type":"text","text":"Stabilizing, Transitory, and Expulsory Modes"},
+		{"id":"40c1a6ca6bb2a079","x":530,"y":160,"width":250,"height":60,"color":"2","type":"text","text":"Emerson Ovation buildout"}
 	],
 	"edges":[
 		{"id":"f0c616247ef362b8","fromNode":"47816cf87b1f4d37","fromSide":"bottom","toNode":"aed191c3719f280b","toSide":"top"},
@@ -44,6 +46,8 @@
 		{"id":"ee4864d5b86a989b","fromNode":"94ace1bf38c73a00","fromSide":"right","toNode":"482ca00bb17abaf7","toSide":"left"},
 		{"id":"1ae35a126fc91ed2","fromNode":"482ca00bb17abaf7","fromSide":"right","toNode":"89aac0a009838655","toSide":"left"},
 		{"id":"ffc24ca21b2b87be","fromNode":"89aac0a009838655","fromSide":"bottom","toNode":"5467e220d316b68e","toSide":"top"},
-		{"id":"af0ec4d18e1c7771","fromNode":"04df937be9ee9d65","fromSide":"top","toNode":"40c1a6ca6bb2a079","toSide":"bottom"}
+		{"id":"af0ec4d18e1c7771","fromNode":"04df937be9ee9d65","fromSide":"top","toNode":"40c1a6ca6bb2a079","toSide":"bottom"},
+		{"id":"d3dc6a0f7afb009e","fromNode":"04df937be9ee9d65","fromSide":"bottom","toNode":"92b9577c4ad80dfb","toSide":"top"},
+		{"id":"e93c36e60eba4a8b","fromNode":"92b9577c4ad80dfb","fromSide":"bottom","toNode":"d10e5739a9b02d59","toSide":"top"}
 	]
 }
\ No newline at end of file