Earlier edition has title: The encyclopaedic dictionary.