Completed dualsim.tex