diff --git a/janet/validate.janet b/janet/validate.janet
index 98f0745..2b09693 100644
--- a/janet/validate.janet
+++ b/janet/validate.janet
@@ -11,5 +11,7 @@ Tracking here, before I start writing this code, the kinds of validation we're h
 * no unbound names with `use` forms
 * no circular imports
 * first-level property access with pkg, e.g. `Foo :bar`--bar must be on Foo
+* recur in tail position in `loop` forms
+* recur not called outside of `loop` forms
 
 )