finished the last missing proof and improved links to appendix