diff --git a/TODO.md b/TODO.md
index 9fc962f..db72499 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,3 +1,7 @@
+[maybe] 实现 `Entity` 与 `Attribute` 在类型上的差别
+
+- `Context` 需要用 `QuotientSet` 而不是 `Set`
+
 # lattice layout
 
 练习 order book 中计算 concept lattice 的算法。
diff --git a/src/test.ts b/src/test.ts
new file mode 100644
index 0000000..f71238e
--- /dev/null
+++ b/src/test.ts
@@ -0,0 +1,15 @@
+export class Entity extends String {
+  isEntity: true = true
+
+  constructor(value: string) {
+    super(value)
+  }
+}
+
+export class Attribute extends String {
+  isAttribute: true = true
+
+  constructor(value: string) {
+    super(value)
+  }
+}