Revise and shorten gc.tex