Use lam/lamt in homotopy.tex.