diff --git a/readme.md b/readme.md
index 02a740b..7132fc1 100644
--- a/readme.md
+++ b/readme.md
@@ -2,7 +2,7 @@
 
 things that are in here:
 
-## general statement things
+## statement things
 
 ### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs)
 
@@ -14,7 +14,7 @@ things that are in here:
 - serialize a statement -> L (the formal language)
 - parse L (the formal language) string -> statement
 
-## semantic things (statements have meaning I guess)
+## semantic statement things
 
 ### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
 
@@ -31,7 +31,7 @@ things that are in here:
 - verify logical-law equivalence of statements (TODO)
 - find logical-law equivalence of statements with breadth-first search (slow)
 
-## syntactic things (statements are strings of symbols)
+## syntactic things
 
 ### [Logic/Language.hs](Logic/Language.hs)
 
@@ -43,7 +43,7 @@ things that are in here:
 
 - verify derivations in formal languages
 
-## formal languages implemented
+### formal languages
 
 - [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
 - [L](Logic/Language/Impl/L.hs)
@@ -58,6 +58,7 @@ things that are in here:
 
 - generic breadth-first search
 
+
 # requirements
 
 a haskell compiler e.g. GHC
@@ -70,6 +71,7 @@ make
 
 or look in [`Makefile`](Makefile)
 
+
 # usage
 
 only this has been implemented in the main function: