diff --git a/synthesis/formula.py b/synthesis/formula.py
new file mode 100644
index 0000000..fdaa144
--- /dev/null
+++ b/synthesis/formula.py
@@ -0,0 +1,16 @@
+import argparse
+
+def parse_args():
+    parser = argparse.ArgumentParser()
+    parser.add_argument()
+    args = parser.parse_args()
+    
+    return args
+    
+    
+def main(args):
+    pass
+    
+
+if __name__ == "__main__":
+    main(parse_args())
\ No newline at end of file
diff --git a/test/data/paper/.gitignore b/test/data/paper/.gitignore
deleted file mode 100644
index 9905889..0000000
--- a/test/data/paper/.gitignore
+++ /dev/null
@@ -1,8 +0,0 @@
-/crumpled_paper.jpg
-/digital_paper.jpg
-/gray_paper.jpg
-/rough_grain_paper.jpg
-/crumpled.jpg
-/digital.jpg
-/plain.jpg
-/rough_grain.jpg
diff --git a/test/data/paper/crumpled.jpg.dvc b/test/data/paper/crumpled.jpg.dvc
deleted file mode 100644
index 70c2ca4..0000000
--- a/test/data/paper/crumpled.jpg.dvc
+++ /dev/null
@@ -1,4 +0,0 @@
-outs:
-- md5: d38ebef85a0689bfd047edc98e4a5f93
-  size: 14131338
-  path: crumpled.jpg
diff --git a/test/data/paper/digital.jpg.dvc b/test/data/paper/digital.jpg.dvc
deleted file mode 100644
index 3ff50e8..0000000
--- a/test/data/paper/digital.jpg.dvc
+++ /dev/null
@@ -1,4 +0,0 @@
-outs:
-- md5: 8c4c96efe26731e14dd4a307dad718fd
-  size: 108546
-  path: digital.jpg
diff --git a/test/data/paper/plain.jpg.dvc b/test/data/paper/plain.jpg.dvc
deleted file mode 100644
index aeda049..0000000
--- a/test/data/paper/plain.jpg.dvc
+++ /dev/null
@@ -1,4 +0,0 @@
-outs:
-- md5: 33741812aaff0e54849c5128ae2dccf4
-  size: 6924421
-  path: plain.jpg
diff --git a/test/data/paper/rough_grain.jpg.dvc b/test/data/paper/rough_grain.jpg.dvc
deleted file mode 100644
index 4f59f39..0000000
--- a/test/data/paper/rough_grain.jpg.dvc
+++ /dev/null
@@ -1,4 +0,0 @@
-outs:
-- md5: eb62925241917d55db05e07851f3f6b9
-  size: 1679152
-  path: rough_grain.jpg