Update 3-parallel-cover.tex