Update contract.tex