add assumption about requeueing order to report.tex