diff --git a/readme.md b/readme.md
index 8bb402f..67afc16 100644
--- a/readme.md
+++ b/readme.md
@@ -2,38 +2,37 @@
 
 things that are in here:
 
-## general statement things
+### general statement things
 
-### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs)
+#### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs)
 
 - parse string -> statement
-- serialize a statement -> plaintext, LaTeX
+- serialize a statement -> plaintext, LaTeX, or L (the formal language)
 
-### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs)
+#### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs)
 
-- serialize a statement -> L (the formal language)
 - parse L (the formal language) string -> statement
 
-## semantic things (statements have meaning I guess)
+### semantic things (statements have meaning I guess)
 
-### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
+#### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
 
 - assign truth values and evaluate statements
 - determine tautology, contradiction, or contingent
 
-### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs)
+#### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs)
 
 - generate a LaTeX truth table from a statement
 
-### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs)
+#### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs)
 
 - match/replace patterns in statements (e.g. logical laws)
 - 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 (statements are strings of symbols)
 
-### [Logic/Language.hs](Logic/Language.hs)
+#### [Logic/Language.hs](Logic/Language.hs)
 
 - implement formal languages (symbols, axioms schemas, and inference rules)
   with a clunky api, see also
@@ -43,18 +42,18 @@ things that are in here:
 
 - verify derivations in formal languages
 
-## formal languages implemented
+### formal languages implemented
 
 - [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
 - [L](Logic/Language/Impl/L.hs)
 
-## general things
+### general things
 
-### [Logic/Parse.hs](Logic/Parse.hs)
+#### [Logic/Parse.hs](Logic/Parse.hs)
 
 - generic sequence parser
 
-### [Logic/Graph.hs](Logic/Graph.hs)
+#### [Logic/Graph.hs](Logic/Graph.hs)
 
 - generic breadth-first search