We study the unconditional uniqueness of solutions to the Benjamin–Ono equation with initial data in Hs, both on the real line and on the torus. We use the gauge transformation of Tao and two iterations of normal form ...