diff --git a/Documentations/4.1-ssa/README.md b/Documentations/4.1-ssa/README.md
index 0d32d9522cdd6c0b4d4b8dcca3dcae3e377772c4..25e50215aacc8b3ab33534dda9119a7109e645d4 100644
--- a/Documentations/4.1-ssa/README.md
+++ b/Documentations/4.1-ssa/README.md
@@ -70,7 +70,10 @@ label_entry:
 **Note:**
 
 1. 更详细的 SSA 格式的细节请仔细阅读[附件](./ssa.pdf)。
-2. 我们的实验设计从编译器前端分离了构造 SSA 过程，使用 `alloca` 来分配局部变量，保留了局部变量的访存操作，用 Mem2Reg Pass 来实现构造 SSA 的算法，这是保持了与 LLVM 一致的策略。
+2. 补充附件中的概念：
+   - 支配性：在入口节点为 b0 的流图中，当且仅当 bi 位于从 b0 到 bj 的每条路径上时，结点 bi 支配结点 bj。
+   - Dom(bi) 集合：该集合包含了支配 bi 的所有结点的名字。
+3. 我们的实验设计从编译器前端分离了构造 SSA 过程，使用 `alloca` 来分配局部变量，保留了局部变量的访存操作，用 Mem2Reg Pass 来实现构造 SSA 的算法，这是保持了与 LLVM 一致的策略。
 
 #### 1.1.2 Mem2Reg Pass 代码阅读
 
diff --git a/Documentations/4.1-ssa/ssa.pdf b/Documentations/4.1-ssa/ssa.pdf
index 30d275b8c5bfbd6e98fa74e7d7a55b1b0a601fb2..1fc23607681eb2d7e6698f1cf5a5047789246c3c 100644
Binary files a/Documentations/4.1-ssa/ssa.pdf and b/Documentations/4.1-ssa/ssa.pdf differ