  Recent work of Lacey-Sawyer-Shen-Uriarte-Tuero and Lacey have established a
conjecture of Nazarov-Treil-Volberg, giving a real-variable characterization of
the two weight inequality for the Hilbert transform, provided the pair of
weights do not share a common point mass.
  In this paper, the characterization is proved, collecting details from across
several papers, compactness is characterized, all relevant estimates are
proved, counterexamples are details, and areas of application are indicated.
