put in an outline of the related work + some short notes about each section
slight modification to table headings for readability
add some parts of the proof that partition is an edit lens