diff --git a/README.md b/README.md
index e4c3ed6..12218a3 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,10 @@
-# tla-plus
+# TLA+ in TiDB
+
+## About TLA+
 
 TLA+ is a formal specification and verification language to help engineers design, specify, reason about, and verify complex software and hardware systems. It is widely used to verify the algorithms in distributed systems.
 
-# tla-plus in TiDB
+## Using TLA+ in TiDB
 
 In [TiDB](https://github.com/pingcap/tidb), we use TLA+ for the following purposes: