handed-in version of u5.tex