move some from chapter 6 to 5 (conclusion to implementation)
add another case in from conclusion
reformat markdown
reformat markdown
rewrite again
reformat markdown
proof
always include id with appendix headers
new built version of writing