Update PropTest.tex