Title: Hugo's pocket dictionary