Completed isyn.tex