Shouldn't we ignore the pdf?
Rough version of system description and correctness arguments
updated the algorithm tex file