Heitmann's proof of the direct summand conjecture in dimension 3

We discuss Ray Heitmann’s recent proof of the Direct Summand Conjecture in dimension 3 in mixed characteristic. This paper contains a discussion of his methods, a proof of the theorem, and a direct proof of the Canonical Element Conjecture in dimension 3 using his result.