diff --git a/TODO b/TODO
index 424271e..f37546a 100644
--- a/TODO
+++ b/TODO
@@ -14,3 +14,17 @@ and negative), and interfacing to ad-hoc sources and sinks.
  - is timeout really primitive? If so, isn't presence primitive?
  - what about metatimeout?
  - enforce user-mode restrictions
+
+### Abstract out UDP socket creation
+
+### Things to consider doing to os-big-bang.rkt
+
+ - add contracts on structs used as message types e.g. to catch such
+   as #(192 203 230 10) being used instead of (udp-address
+   "192.203.230.10" 53).
+
+ - some kind of join-ish construct to make e.g. cname-expansion
+   prettier
+
+ - have a "terminate" kind of transition for unspawning the
+   transitioning process