diff --git a/readme.md b/readme.md
index 14f9f78..1e49e0d 100644
--- a/readme.md
+++ b/readme.md
@@ -128,6 +128,10 @@ referential transparent.
 
 ---
 
+##  Equational Reasoning
+
+---
+
 ## Lazy evalution
 > aka call-by-need is an evaluation machanism which delays the evaluation of an expression until its value is needed.