diff --git a/README.md b/README.md
index 5dcd556..be2bd4e 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,3 @@
 # proof-checker
+testing blah blah