Update lucifer.tex