Update completeness-intro.tex