algorithm.tex proof-read