  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.
