diff --git a/may_2025_thoughts.md b/may_2025_thoughts.md
index a46071f..56fe5f9 100644
--- a/may_2025_thoughts.md
+++ b/may_2025_thoughts.md
@@ -1181,6 +1181,23 @@ That leaves the following list:
 Happy Canada day!
 
 After a really rough evening, I seem to have the actor model not only working in Ludus, but reasonably debugged in Rust.
+We've got one bug to address in Firefox before I continue:
+* [ ] the event loop isn't returning once something is done, which makes no sense
 
-
+After that:
+* [ ] implement other verbs beside `console`:
+    - [ ] `command`
+    - [ ] `input`
+        * [ ] js->rust->ludus buffer (in Rust code)
+        * [ ] ludus abstractions around this buffer (in Ludus code)
+    - [ ] `fetch`--request & response
+        * [ ] request: ludus->rust->js->net
+        * [ ] response: js->rust->ludus
+    - [ ] `keyboard`
+        * [ ] still working on how to represent this
+* [ ] hook this up to `web.ludus.dev`
+* [ ] do some integration testing
+    - [ ] do synchronous programs still work?
+    - [ ] animations?
+    - [ ] read inputs?