diff --git a/Kanban Pages/HelyxVerify.md b/Kanban Pages/HelyxVerify.md
index 0312027..ffd4564 100644
--- a/Kanban Pages/HelyxVerify.md	
+++ b/Kanban Pages/HelyxVerify.md	
@@ -520,7 +520,7 @@ stateDiagram
 	Variation --> RunDir
 	verificationDict --> RunDir
 	verificationDict --> run
-	Allrun --> run
+	Actions --> run
 	RunDir --> run
 	run --> Output
 	run --> Execution
@@ -528,4 +528,12 @@ stateDiagram
 	verificationDict --> Validate
 	Validate --> Report
 	Report --> [*]
-```
\ No newline at end of file
+```
+
+`find` could be a static method of Example, which yields the results (the problem is that this should be an iterator, and I'm bad at doing iterators over filesystems).
+
+Whatever becomes of `Action`, `RunDir.run` needs a trait for it, so we can replace with something else in the future.
+
+`Output` must define the type of messages it receives.
+
+Missing: Who will do the reduction (maybe different crate?).
\ No newline at end of file