Update higher-order.tex