1 files changed, 8 insertions, 0 deletions
diff --git a/draft.org b/draft.org
index 92ffecd..35ded64 100644
--- a/draft.org
+++ b/draft.org
@@ -27,3 +27,11 @@
 
 - ramp up more about the future.
 - formally verifying other algorithms
+
+TODO:
+- move second part of first paragraph.
+- add to intro what this document is
+- last paragraph more like last part of abstract (To that end we have made one.)
+- Separate second point into are already reliable and existing testing techniques are enough.
+- Most hardware designs start in C.
+- First John bacceses fortran compiler.