diff --git a/TODO b/TODO
new file mode 100644
index 0000000000000000000000000000000000000000..4d9a67dbd0a303456d00bd2c5ec0cf392c1d1005
--- /dev/null
+++ b/TODO
@@ -0,0 +1,7 @@
+- Map and Set get element function to extract and encode using epsilon in a pass
+- Fix Modulo
+- Handle multiple files and modules => can have a standard library of
+  verified data structure (with their contracts) that can be used
+  to build more complex examples.
+- Integrate List branch
+- implement assert statement