Update Aletheia.tex