a lean and fast English dictionary.