Reviewed most of dualsim.tex