I am adding in the commentaries from Bergman's Lang companion, and inserting additional details to the proofs when Lang omits them. Notes are from chapter 6 onwards.