small edits to theory markdown