diff --git a/README.md b/README.md
index 8beb3c0a4959ef832fb48b6b983ee447fb9493b7..82012880969d8639169c77481106cb66bb9bc5d7 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,13 @@
-# SRP lab in d7020e
----
+SRP stack analysis lab / KLEE RTFM proof of concept
+==============================================
+
+For the KLEE RTFM-4-SURE, switch to KLEE blanch
+
+SRP lab in d7020e
+-------------
+
+# 
+
 ## Install
 
 Open terminal