Intermediate commit of queryprocessing.tex