Title: [Johnson's] pocket dictionary of the English language