Let  M  be a smooth real codimension two compact submanifold in a Stein manifold. We will prove the following theorem: Suppose that  M  has two elliptic complex tangents and that CR points are non-minimal. Assume further that  M  is contained in a bounded strongly pseudoconvex domain. Then  M  bounds a unique smoothly up to  M  Levi-flat hypersurface  \widehat{M}  that is foliated by Stein hyper-surfaces diffeomorphic to the ball. Moreover,  \widehat{M}  is the hull of holomorphy of  M . This subject has a long history of investigation dating back to E. Bishop and Harvey-Lawson. I will discuss both the historical context and the techniques used in the proof of the aforementioned theorem.