This is gp23.tex.