Update Lucas.tex