TODO added to paper.tex