Use lam in formal.tex.