Added ToDo in compression.tex