diff --git a/test.txt b/test.txt
new file mode 100644
index 0000000..3fba62e
--- /dev/null
+++ b/test.txt
@@ -0,0 +1 @@
+Proof for smog-root!!
\ No newline at end of file