Update GD4.tex