  A. Poltotaski proved an analog of Carleson's Theorem on almost everywhere
convergence of Fourier series for a version of the non-linear Fourier
transform. We aim to present his proof in full detail and elaborate on the
ideas behind each step.
