A new proof of completeness of S4 with respect to the real line - Bezhanishvili, Guram (ILLC research report and technical notes series, 2002)