diff --git a/test_proof/testproof2.txt b/test_proof/testproof2.txt
new file mode 100644
index 0000000..e69de29