Update 8.12.14.tex