I will explain how the Lax pair structure of the Benjamin-Ono equation on the line leads to an explicit formula for all the solutions, in terms of their initial data. I will sketch various applications of this formula to qualitative properties
of the solutions.