diff --git a/TODO.md b/TODO.md
index ecfa6cc..cf1e5d5 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,3 +1,11 @@
+回顾 linear logic
+
+- linear logic 的谓词演算是什么样的？
+- 如何理解谓词演算中的，没有类型限制的约束变元？
+  - 我记得又一次我相通了，但是又忘了。
+
+开启 inet-cat 项目
+
 `NodeId` vs `Node` -- instead of `Node` vs `NodeEntry` -- the same for `HalfEdge`
 static import should handled by an extra pass -- instead of injecting a `Loader` to `Mod`
 Type as Value -- 用 HalfEdge 来编码 Type -- 删除 TypeCtor | Type | Symbol | TypeTerm