--- a/doc/todo
+++ b/doc/todo
@@ -1,4 +1,3 @@
-- document
 - create an alpha release
 - indent body "prove(...)" in "for x_%d in prove(...)" by 2 more spaces
 - add ability to use pattern variables for kb_name and fact_name in assertions