added links for appendices and proofs