diff --git a/README.md b/README.md
index ae0bee2..33cccfc 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,2 @@
 # proof-checker
-testing blah blah
-wow it's working!
+Proof checker based on first order logic. The eventual goal is to be as readable and natural as possible.