diff --git a/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas b/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas
index bc24fdb6d..5127d4e52 100644
--- a/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas
+++ b/Writing/THESIS_PROPOSAL/3-research-approach/Untitled.canvas
@@ -1,12 +1,31 @@
 {
 	"nodes":[
-		{"id":"a54ef0f53d23c989","x":-500,"y":-380,"width":360,"height":80,"type":"text","text":"WHAT BELONGS IN THE RESEARCH APPROACH?"},
-		{"id":"3d90877135704e66","x":-720,"y":-200,"width":250,"height":60,"type":"text","text":"translation of procedures"},
-		{"id":"7e9f07efeeac7725","x":-625,"y":-100,"width":250,"height":60,"type":"text","text":"Temporal logic"},
-		{"id":"7e9c528ccdb4a1d3","x":-220,"y":-40,"width":250,"height":60,"type":"text","text":"Guard conditions between switching"},
-		{"id":"47816cf87b1f4d37","x":-65,"y":-230,"width":250,"height":60,"type":"text","text":"Reactive Synthesis"},
-		{"id":"aed191c3719f280b","x":-300,"y":-140,"width":250,"height":60,"type":"text","text":"Discrete automata"},
-		{"id":"1f085c02451b41bf","x":80,"y":-110,"width":250,"height":60,"type":"text","text":"Continuous systems as transitions"}
+		{"id":"a54ef0f53d23c989","x":-375,"y":-520,"width":675,"height":80,"type":"text","text":"# WHAT BELONGS IN THE RESEARCH APPROACH?"},
+		{"id":"47816cf87b1f4d37","x":-500,"y":-70,"width":250,"height":60,"type":"text","text":"Reactive Synthesis"},
+		{"id":"aed191c3719f280b","x":-580,"y":80,"width":250,"height":60,"type":"text","text":"Discrete automata"},
+		{"id":"1f085c02451b41bf","x":-200,"y":140,"width":250,"height":60,"type":"text","text":"Continuous systems as transitions"},
+		{"id":"7e9c528ccdb4a1d3","x":-200,"y":20,"width":250,"height":60,"type":"text","text":"Guard conditions between switching"},
+		{"id":"40c1a6ca6bb2a079","x":200,"y":-10,"width":250,"height":60,"type":"text","text":"Emerson Ovation buildout"},
+		{"id":"04df937be9ee9d65","x":200,"y":110,"width":250,"height":60,"type":"text","text":"Reachability / Barrier certificates"},
+		{"id":"5467e220d316b68e","x":-162,"y":-300,"width":250,"height":60,"type":"text","text":"Formal Methods"},
+		{"id":"7e9f07efeeac7725","x":-500,"y":-220,"width":250,"height":60,"type":"text","text":"Temporal logic"},
+		{"id":"3d90877135704e66","x":-680,"y":-360,"width":250,"height":60,"type":"text","text":"translation of procedures"},
+		{"id":"cb089746088729eb","x":0,"y":-130,"width":250,"height":60,"color":"3","type":"text","text":"Automated translation?"}
 	],
-	"edges":[]
+	"edges":[
+		{"id":"7157282770687295","fromNode":"3d90877135704e66","fromSide":"right","toNode":"7e9f07efeeac7725","toSide":"top"},
+		{"id":"fd27e7fce309a0f9","fromNode":"7e9f07efeeac7725","fromSide":"bottom","toNode":"47816cf87b1f4d37","toSide":"top"},
+		{"id":"f0c616247ef362b8","fromNode":"47816cf87b1f4d37","fromSide":"bottom","toNode":"aed191c3719f280b","toSide":"top"},
+		{"id":"68c2c4285845f3f5","fromNode":"aed191c3719f280b","fromSide":"right","toNode":"7e9c528ccdb4a1d3","toSide":"left"},
+		{"id":"3071e0f7125058a4","fromNode":"47816cf87b1f4d37","fromSide":"right","toNode":"7e9c528ccdb4a1d3","toSide":"top"},
+		{"id":"8741175be90b2e47","fromNode":"7e9f07efeeac7725","fromSide":"right","toNode":"7e9c528ccdb4a1d3","toSide":"top"},
+		{"id":"909f7eb2167c285a","fromNode":"7e9c528ccdb4a1d3","fromSide":"bottom","toNode":"1f085c02451b41bf","toSide":"top"},
+		{"id":"00f7c15f8f153793","fromNode":"aed191c3719f280b","fromSide":"right","toNode":"1f085c02451b41bf","toSide":"left"},
+		{"id":"6dabdb83917f1676","fromNode":"47816cf87b1f4d37","fromSide":"right","toNode":"cb089746088729eb","toSide":"left"},
+		{"id":"7a14b61146a640dd","fromNode":"cb089746088729eb","fromSide":"right","toNode":"40c1a6ca6bb2a079","toSide":"top"},
+		{"id":"373a8bc63b77ed85","fromNode":"1f085c02451b41bf","fromSide":"right","toNode":"04df937be9ee9d65","toSide":"left"},
+		{"id":"fc7f8ffe33a387bb","fromNode":"40c1a6ca6bb2a079","fromSide":"bottom","toNode":"04df937be9ee9d65","toSide":"top"},
+		{"id":"6e9387d64739205d","fromNode":"5467e220d316b68e","fromSide":"bottom","toNode":"47816cf87b1f4d37","toSide":"top"},
+		{"id":"c5d073eba30e1a37","fromNode":"5467e220d316b68e","fromSide":"bottom","toNode":"04df937be9ee9d65","toSide":"top"}
+	]
 }
\ No newline at end of file