Update definiteness.tex