This is gp25.tex.